Hypersequent Calculi for Godel Logics -- a Survey
From MaRDI portal
Publication:4812316
DOI10.1093/logcom/13.6.835zbMath1051.03046OpenAlexW2037330115MaRDI 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
Related Items (27)
Linear Logic Properly Displayed ⋮ First-order Gödel logics ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ Graph-based decision for Gödel-Dummett logics ⋮ A cut-free calculus for second-order Gödel logic ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Ten problems in Gödel logic ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC ⋮ Eliminability of cut in hypersequent calculi for some modal logics of linear frames ⋮ Through an Inference Rule, Darkly ⋮ A Multiple-Conclusion Calculus for First-Order Gödel Logic ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ An analysis of Ruspini partitions in Gödel logic ⋮ Proofs and countermodels in non-classical logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Intermediate logics and Visser's rules ⋮ On the rules of intermediate logics ⋮ Unnamed Item ⋮ Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Prawitz, Proofs, and Meaning ⋮ CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME ⋮ A Generalisation of the Hyperresolution Principle to First Order Gödel Logic ⋮ Terminating calculi for propositional Dummett logic with subformula property ⋮ From semantic games to provability: the case of Gödel logic
This page was built for publication: Hypersequent Calculi for Godel Logics -- a Survey
