✦ LIBER ✦

Fragments of the Propositional Calculus

✍ Scribed by Leon Henkin

Book ID: 124940583
Publisher: Association for Symbolic Logic
Year: 1949
Tongue: English
Weight: 878 KB
Volume: 14
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2268976

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong Completeness of Fragments of the

Strong Completeness of Fragments of the Propositional Calculus

✍ Alan Rose 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 173 KB

On the Independence of Henkin's Axioms f

On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus

✍ Maurice L'Abbé 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 289 KB

The Separation Theorem for Fragments of

The Separation Theorem for Fragments of the Intuitionistic Propositional Calculus

✍ G. Rousseau 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 325 KB 👁 1 views

On a fragment of the implicative proposi

On a fragment of the implicative propositional calculus

✍ H. Rasiowa 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 68 KB

SINGLE GENERATORS FOR HENKINIAN FRAGMENT

SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2-VALUED PROPOSITIONAL CALCULUS

✍ Alan Rose 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 396 KB

## SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2-VALUED PROPOSITIONAL CALCULUS by ALAN ROSE in Nottingham (England) HENKIN has shown,) that if the truth-tables of the primitive functors of a 2-valued propositional calculus are such that material implication is definable2) in this propositiona

Two Non-Henkinian Fragments of the 2-Val

Two Non-Henkinian Fragments of the 2-Valued Propositional Calculus with Variable Functors

✍ Alan Rose 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 458 KB