✦ LIBER ✦

Intuitionistic propositional logic is polynomial-space complete

✍ Scribed by Richard Statman

Book ID: 107948455
Publisher: Elsevier Science
Year: 1979
Tongue: English
Weight: 532 KB
Volume: 9
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(79)90006-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the polynomial-space completeness of

On the polynomial-space completeness of intuitionistic propositional logic

✍ Vítezslav Švejdar 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 140 KB

Functional completeness for subsystems o

Functional completeness for subsystems of intuitionistic propositional logic

✍ Heinrich Wansing 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 692 KB

Irreflexive Modality in the Intuitionist

Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness

✍ A. D. Yashin 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 143 KB

An O ( n log n ) -Space Decision Procedu

An O ( n log n ) -Space Decision Procedure for Intuitionistic Propositional Logic

✍ HUDELMAIER, JÖRG 📂 Article 📅 1993 🏛 Oxford University Press 🌐 English ⚖ 563 KB

Playing disjunctive sums is polynomial s

Playing disjunctive sums is polynomial space complete

✍ F. L. Morris 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 607 KB

Infiniteness of proof(α) is polynomial-s

Infiniteness of proof(α) is polynomial-space complete

✍ Sachio Hirokawa 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 546 KB

It is shown that the infiniteness problem of proof (a) is polynomial-space complete. The set proof (~) is the set of closed I-terms in p-normal form which has a as their types. The set is identical to the set of normal form proofs of a in the natural deduction system for implicational fragment of in