An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic
From MaRDI portal
Publication:5956122
DOI10.1023/A:1017515831550zbMath0987.03011OpenAlexW1538212964MaRDI QIDQ5956122
Publication date: 11 April 2002
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1017515831550
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)
Related Items
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus ⋮ Terminating calculi for propositional Dummett logic with subformula property