Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics
From MaRDI portal
Publication:4796459
DOI10.1093/logcom/12.6.955zbMath1020.03023OpenAlexW2026661594MaRDI QIDQ4796459
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
propositional intermediate logicsduplication-free tableau calculispace-efficient decision procedures
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20) Intermediate logics (03B55)
Related Items
Intuitionistic Decision Procedures Since Gentzen ⋮ Optimization techniques for propositional intuitionistic logic and their implementation ⋮ Decision methods for linearly ordered Heyting algebras ⋮ A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
This page was built for publication: Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics