Hypersequent Calculi for Godel Logics -- a Survey
From MaRDI portal
Publication:4812316
DOI10.1093/logcom/13.6.835zbMath1051.03046MaRDI QIDQ4812316
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni
Publication date: 7 September 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/13.6.835
03F05: Cut-elimination and normal-form theorems
Related Items
Prawitz, Proofs, and Meaning, CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME, Hypersequent rules with restricted contexts for propositional modal logics, Eliminability of cut in hypersequent calculi for some modal logics of linear frames, Intermediate logics and Visser's rules, Hypersequent calculi for intuitionistic logic with classical atoms, Graph-based decision for Gödel-Dummett logics, An analysis of Ruspini partitions in Gödel logic, Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus, A cut-free calculus for second-order Gödel logic, Ten problems in Gödel logic, Multicomponent proof-theoretic method for proving interpolation properties, Proofs and countermodels in non-classical logics, Hypersequent and display calculi -- a unified perspective, Terminating calculi for propositional Dummett logic with subformula property, First-order Gödel logics, On the rules of intermediate logics, A Generalisation of the Hyperresolution Principle to First Order Gödel Logic, On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC, A Multiple-Conclusion Calculus for First-Order Gödel Logic, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains, Through an Inference Rule, Darkly
