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

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

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

zbMATH Keywords

interpolationtableau calculisuperintuitionistic logicintermediate logicscut-free sequent calculi

Mathematics Subject Classification ID

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

Cited In (19)

• Intermediate logics admitting a structural hypersequent calculus
• New sequent calculi for Visser's Formal Propositional Logic
• Terminating calculi for propositional Dummett logic with subformula property
• Equilibrium logic
• A note on sequent calculi intermediate between LJ and LK
• 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}\)
• A cut-free Gentzen calculus with subformula property for first-degree entailments in \(\mathbf{LC}\)
• 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
• Modal tableau calculi and interpolation
• 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)