Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics

DOI10.1093/LOGCOM/12.6.955zbMATH Open1020.03023OpenAlexW2026661594MaRDI QIDQ4796459FDOQ4796459

Authors: Guido Fiorino 

Publication date: 6 October 2003

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/55cae736e9609f190c42d38b9a3ad2c2037f7200

Recommendations

• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
• On sequent calculi for intuitionistic propositional logic.
• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications

zbMATH Keywords

propositional intermediate logicsduplication-free tableau calculispace-efficient decision procedures

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55) Complexity of proofs (03F20)

Cited In (6)

• Optimization techniques for propositional intuitionistic logic and their implementation
• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
• An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic
• Decision methods for linearly ordered Heyting algebras
• Intuitionistic Decision Procedures Since Gentzen
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic

This page was built for publication: Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4796459)