Record link: 
http://hdl.handle.net/20.500.12708/153284
-
Title: 
Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta
-
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.
-
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 
-
Event date: 
5-Sep-2022 - 10-Sep-2022
-
Event place: 
Paestum, Salerno, Italy
-
Keywords: 
Cut-Elimination
-
Research Areas: 
Mathematical and Algorithmic Foundations: 100%
-
Science Branch: 
1010 - Mathematik: 100%
-
Appears in Collections:
Presentation

Show full item record

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

Google ScholarTM

Check