✦ LIBER ✦

On Weak Completeness of Intuitionistic Predicate Logic

✍ Scribed by G. Kreisel

Book ID: 111890493
Publisher: Association for Symbolic Logic
Year: 1962
Tongue: English
Weight: 625 KB
Volume: 27
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2964110

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Intuitionistic Completeness Theorem f

An Intuitionistic Completeness Theorem for Classical Predicate Logic

✍ Victor N. Krivtsov 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 177 KB

A Translation of Intuitionistic Predicat

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

✍ Mohammad Ardeshir 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 313 KB

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

The Semantic Completeness of a Global In

The Semantic Completeness of a Global Intuitionistic Logic

✍ Hiroshi Aoyama 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar system

Nonmodal classical linear predicate logi

Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic

✍ Kosta Došen 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 459 KB