✦ LIBER ✦

Excluded middle and bivalence

✍ Scribed by Timothy J. Day

Publisher: Springer
Year: 1992
Tongue: English
Weight: 195 KB
Volume: 37
Category: Article
ISSN: 1876-2514
DOI: 10.1007/bf00220634

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Does the law of excluded middle require

Does the law of excluded middle require bivalence?

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

Choice Implies Excluded Middle

✍ N. Goodman; J. Myhill 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 57 KB

Excluded Middle versus Choice in a topos

✍ Bernhard Banaschewski 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 75 KB

It is shown for an arbitrary topos that the Law of the Excluded Middle holds in its propositional logic iff it satisfies the limited choice principle that every epimorphism from 2 = 1 ⊕ 1 splits.

The Logical Paradoxes and the Law of Exc

The Logical Paradoxes and the Law of Excluded Middle

✍ Priest, Graham 📂 Fiction 📅 0 🌐 English ⚖ 141 KB

Rethinking Bivalence

✍ A. Iacona 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 91 KB

Bivalence and subjunctive conditionals

✍ Timothy Williamson 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 977 KB