scientific article; zbMATH DE number 1950251

MaRDI QIDQ4412849zbMATH OpenFDO

Authors Matthias Baaz, Agata Ciabattoni

Publication date 17 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2381/23810024.htm

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• A semantic proof of strong cut-admissibility for first-order Godel logic
• A cut-free calculus for second-order Gödel logic
• A multiple-conclusion calculus for first-order Gödel logic
• Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
• A simple proof of completeness and cut-admissibility for propositional Gödel logic

Cited in

(11)

• A cut-free calculus for second-order Gödel logic
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic
• First-order Gödel logics
• Hypersequent calculi for S5: the methods of cut elimination
• A multiple-conclusion calculus for first-order Gödel logic
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• Eliminability of cut in hypersequent calculi for some modal logics of linear frames
• A semantic proof of strong cut-admissibility for first-order Godel logic
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
• Hypersequent calculi for intuitionistic logic with classical atoms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412849)