Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete

DOI10.1016/S0304-3975(97)00168-0zbMath0912.68186MaRDI QIDQ1274981

Sachio Hirokawa

Publication date: 12 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

deduction system

Mathematics Subject Classification ID

Related Items

Unnamed Item ⋮ Studying provability in implicational intuitionistic logic ⋮ Counting proofs in propositional logic

Cites Work

• \(\lambda\)-definability of free algebras
• Intuitionistic propositional logic is polynomial-space complete
• Normal proofs and their grammar
• The number of proofs for a BCK-formula
• Unnamed Item
• Unnamed Item
• Unnamed Item