✦ LIBER ✦

Independent Axiom Schemata for the Pure Theory of Entailment

✍ Scribed by Alan Ross Anderson; Nuel D. Belnap Jr.; John R. Wallace

Publisher: John Wiley and Sons
Year: 1960
Tongue: English
Weight: 105 KB
Volume: 6
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19600060106

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Independence of the equational axioms fo

Independence of the equational axioms for iteration theories

✍ Z. Ésik 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 619 KB

Independent Axioms for the Implicational

Independent Axioms for the Implicational Fragment of Sobociński's Three-Valued Logic

✍ Robert K. Meyer; Zane Parks 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 270 KB

THE DECISION PROBLEM FOR RESTRICTED UNIV

THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION

✍ Franco Parlamento; Alberto Policriti 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 775 KB

## Abstract The still unsettled decision problem for the restricted purely universal formulae ((∀)~0~‐formulae) of the first order set‐theoretic language based over =, ∈ is discussed in relation with the adoption or rejection of the axiom of foundation. Assuming the axiom of foundation, the related

On the Deductive Strength of Various Dis

On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory

✍ Yasuo Kanai 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB

Theory of width independence for the con

Theory of width independence for the continuous sheet memory cell

✍ J.R. Richardson; R.R. Haering 📂 Article 📅 1965 🏛 Elsevier Science 🌐 English ⚖ 356 KB

Usefulness of the Free Length Theory for

Usefulness of the Free Length Theory for assessment of the self-association of pure solvents

✍ Jarosław Wawer; Anna Płaczek; Dorota Warmińska; Wacław Grzybkowski 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 313 KB