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.447zbMATH Open0938.03042OpenAlexW2124047678MaRDI QIDQ4700536FDOQ4700536
Mauro Ferrari, Pierangelo Miglioli, Alessandro Avellone
Publication date: 14 June 2000
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/7.4.447
Cited In (15)
- Intermediate logics admitting a structural hypersequent calculus
- Terminating calculi for propositional Dummett logic with subformula property
- Equilibrium logic
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
- Decision methods for linearly ordered Heyting algebras
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
- Title not available (Why is that?)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Title not available (Why is that?)
- Proof analysis in intermediate logics
- A Multiple-Conclusion Calculus for First-Order Gödel Logic
- Varieties of linear calculi
- A family of Gödel hybrid logics
- Graph-based decision for Gödel-Dummett logics
- Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics
Recommendations
- Proof analysis in intermediate logics 👍 👎
- A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications 👍 👎
- A note on sequent calculi intermediate between LJ and LK 👍 👎
- Generalized tableau systems for intermediate propositional logics 👍 👎
- Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics 👍 👎
This page was built for publication: Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700536)
