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

DOI10.1093/JIGPAL/7.4.447MaRDI QIDQ4700536zbMATHOpenAlexFDO

Authors Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli

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

zbMATH Keywords

interpolationtableau calculisuperintuitionistic logicintermediate logicscut-free sequent calculi

Mathematics Subject Classification ID

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

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

Cited in

(22)

• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• New sequent calculi for Visser's Formal Propositional Logic
• Intermediate logics admitting a structural hypersequent calculus
• scientific article; zbMATH DE number 1507229 (Why is no real title available?)
• Proof analysis in intermediate logics
• Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics
• scientific article; zbMATH DE number 5827852 (Why is no real title available?)
• Generalized tableau systems for intermediate propositional logics
• A family of Gödel hybrid logics
• Graph-based decision for Gödel-Dummett logics
• A cut-free Gentzen calculus with subformula property for first-degree entailments in \(\mathbf{LC}\)
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Varieties of linear calculi
• Interpolation methods for Dunn logics and their extensions
• Modal tableau calculi and interpolation
• A note on sequent calculi intermediate between LJ and LK
• A multiple-conclusion calculus for first-order Gödel logic
• Decision methods for linearly ordered Heyting algebras
• Equilibrium logic
• Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• Terminating calculi for propositional Dummett logic with subformula property

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)