✦ LIBER ✦

THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"

✍ Scribed by Jankov, V A

Book ID: 120650622
Publisher: Turpion
Year: 1968
Weight: 401 KB
Volume: 2
Category: Article
ISSN: 0025-5726
DOI: 10.1070/IM1968v002n05ABEH000690

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructing a Sequence of Strongly Inde

Constructing a Sequence of Strongly Independent Superintuitionistic Propositional Calculi.by V. A. Jankov;The Calculus of the weak "law of excluded Middle."by V. A. Jankov

✍ Review by: Alfred Horn 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 226 KB

Finite problems and the logic of the wea

Finite problems and the logic of the weak law of excluded middle

✍ A. V. Chernov 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 170 KB

On the law of excluded middle

✍ Church, Alonzo 📂 Article 📅 1928 🏛 American Mathematical Society 🌐 English ⚖ 364 KB

The axiom of choice and the law of exclu

The axiom of choice and the law of excluded middle in weak set theories

✍ John L. Bell 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB 👁 1 views

## Abstract A weak form of intuitionistic set theory **WST** lacking the axiom of extensionality is introduced. While **WST** is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng up **WST** with moderate extensionality principles or quoti

Does the law of excluded middle require

Does the law of excluded middle require bivalence?

✍ Charles Sayward 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 366 KB

Does the Law of Excluded Middle Require

Does the Law of Excluded Middle Require Bivalence?

✍ Charles Sayward 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 722 KB