Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete
From MaRDI portal
Publication:1274981
DOI10.1016/S0304-3975(97)00168-0zbMath0912.68186MaRDI QIDQ1274981
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Unnamed Item ⋮ Studying provability in implicational intuitionistic logic ⋮ Counting proofs in propositional logic
Cites Work