Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
From MaRDI portal
Publication:4700536
DOI10.1093/jigpal/7.4.447zbMath0938.03042MaRDI QIDQ4700536
Mauro Ferrari, Pierangelo Miglioli, Alessandro Avellone
Publication date: 14 June 2000
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/7.4.447
interpolation; intermediate logics; superintuitionistic logic; tableau calculi; cut-free sequent calculi
Related Items
A family of Gödel hybrid logics, Proof analysis in intermediate logics, Equilibrium logic, Graph-based decision for Gödel-Dummett logics, Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Varieties of linear calculi, Terminating calculi for propositional Dummett logic with subformula property, Intermediate logics admitting a structural hypersequent calculus, Decision methods for linearly ordered Heyting algebras, A Multiple-Conclusion Calculus for First-Order Gödel Logic, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains