DC Field
Value
Language
dc.contributor.author
Baaz, Matthias
-
dc.contributor.author
Fermüller, Christian
-
dc.contributor.author
Preining, Norbert
-
dc.date.accessioned
2023-02-27T14:04:04Z
-
dc.date.available
2023-02-27T14:04:04Z
-
dc.date.issued
2022-09
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Baaz, M., Fermüller, C., &#38; Preining, N. (2022, September). <i>Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta</i> [Conference Presentation]. Logic Algebra and Truth Degrees Conference LATD 2022, Paestum, Salerno, Italy. https://doi.org/10.34726/3641</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/158239
-
dc.identifier.uri
https://doi.org/10.34726/3641
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Cut-Elimination
en
dc.title
Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.identifier.doi
10.34726/3641
-
dc.type.category
Conference Presentation
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.author.orcid
0000-0003-2932-5477
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.event.name
Logic Algebra and Truth Degrees Conference LATD 2022
en
tuw.event.startdate
05-09-2022
-
tuw.event.enddate
10-09-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Paestum, Salerno
-
tuw.event.country
IT
-
tuw.event.presenter
Baaz, Matthias
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
100
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.grantfulltext
open
-
item.openairetype
Presentation
-
item.openairetype
Vortrag
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.orcid
0000-0003-2932-5477
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
Appears in Collections:
Presentation
Thumbnail
Fulltext (Submitted Version)
Adobe PDF
(264.8 kB)
Open Access In Copyright 1.0
Show simple item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

43
checked on Jul 15, 2023

Download(s)

8
checked on Jul 15, 2023

Google ScholarTM

Check