Studying provability in implicational intuitionistic logic
From MaRDI portal
Publication:4916206
DOI10.1016/S1571-0661(04)80545-0zbMath1261.03067MaRDI QIDQ4916206
Publication date: 19 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Uses Software
Cites Work
- Principal types of BCK-lambda-terms
- Intuitionistic propositional logic is polynomial-space complete
- Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete
- Uniqueness of normal proofs in implicational intuitionistic logic
- Proof finding algorithms for implicational logics
- Uniqueness of normal proofs of minimal formulas
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item