Record link: 
http://hdl.handle.net/20.500.12708/158239
https://doi.org/10.34726/3641
-
Title: 
Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta
en
Citation: 
Baaz, M., Fermüller, C., & Preining, N. (2022, September). Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta [Conference Presentation]. Logic Algebra and Truth Degrees Conference LATD 2022, Paestum, Salerno, Italy. https://doi.org/10.34726/3641
-
reposiTUm DOI: 
10.34726/3641
-
Publication Type: 
Presentation - Conference Presentation
en
Language: 
English
-
Authors: 
Baaz, Matthias 
Fermüller, Christian 
Preining, Norbert 
-
Organisational Unit: 
E104-02 - Forschungsbereich Computational Logic 
-
Date (published): 
Sep-2022
-
Event name: 
Logic Algebra and Truth Degrees Conference LATD 2022 
en
Event date: 
5-Sep-2022 - 10-Sep-2022
-
Event place: 
Paestum, Salerno, Italy
-
Keywords: 
Cut-Elimination
en
Research Areas: 
Mathematical and Algorithmic Foundations: 100%
-
Science Branch: 
1010 - Mathematik: 100%
-
License: 
In Copyright
en
Appears in Collections:
Presentation

Thumbnail
Fulltext (Submitted Version)
Adobe PDF
(264.8 kB)
Open Access In Copyright 1.0
Show full item record

Page view(s)

88
checked on Dec 1, 2023

Download(s)

35
checked on Dec 1, 2023

Google ScholarTM

Check