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
 
Vortrag - Conference Presentation
de
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

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