Logic Algebra and Truth Degrees Conference LATD 2022

View Statistics Email Alert RSS Feed

Description

Event name
Logic Algebra and Truth Degrees Conference LATD 2022
 
Event type
Event for scientific audience
 
Start date
05-09-2022
End date
10-09-2022
 
Location
Paestum, Salerno
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation VortragSep-2022
2Baaz-2022-Cut-Elimination for a Hypersequent Calculus for First-Order Go...-smur.pdf.jpgBaaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation Vortrag Sep-2022