✦ LIBER ✦

A Set of Axioms for Logicby Theodore Hailperin

✍ Scribed by Review by: George D. W. Berry

Book ID: 124945686
Publisher: Association for Symbolic Logic
Year: 1944
Tongue: English
Weight: 300 KB
Volume: 9
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2267893

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Foundations of Probability in Mathematic

Foundations of Probability in Mathematical Logicby Theodore Hailperin

✍ Review by: Paul Henle 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 288 KB

A Complete Set of Axioms for Logical For

A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domainsby Theodore Hailperin

✍ Review by: Andrzej Mostowski 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 139 KB

A Complete Set of Axioms for Logical For

A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain

✍ Theodore Hailperin 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 730 KB

A Theory of Restricted Quantificationby

A Theory of Restricted Quantificationby Theodore Hailperin

✍ Review by: R. Sherman Lehman 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 146 KB

A Formal System of Logicby Hao Wang

✍ Review by: Theodore Hailperin 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 306 KB

A set of axioms for nonstandard extensio

A set of axioms for nonstandard extensions

✍ Abhijit Dasgupta 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

We give an axiomatic characterization for complete elementary extensions, that is, elementary extensions of the first-order structure consisting of all finitary relations and functions on the underlying set. Such axiom systems have been studied using various types of primitive notions (e.g., [1,3,6]