Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics

DOI10.1093/jigpal/7.4.447zbMath0938.03042OpenAlexW2124047678MaRDI 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

zbMATH Keywords

interpolationintermediate logicssuperintuitionistic logictableau calculicut-free sequent calculi

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)

Related Items

Equilibrium logic ⋮ Graph-based decision for Gödel-Dummett logics ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ A family of Gödel hybrid logics ⋮ Proof analysis in intermediate logics ⋮ A Multiple-Conclusion Calculus for First-Order Gödel Logic ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ Decision methods for linearly ordered Heyting algebras ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus ⋮ Terminating calculi for propositional Dummett logic with subformula property ⋮ Varieties of linear calculi