✦ LIBER ✦

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

✍ Scribed by A. V. Chernov

Publisher: SP MAIK Nauka/Interperiodica
Year: 2005
Tongue: English
Weight: 170 KB
Volume: 77
Category: Article
ISSN: 0001-4346
DOI: 10.1007/s11006-005-0025-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Logical Paradoxes and the Law of Exc

The Logical Paradoxes and the Law of Excluded Middle

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

A cut-free gentzen-type system for the l

A cut-free gentzen-type system for the logic of the weak law of excluded middle

✍ Branislav R. Boričić 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 876 KB

Intuitionistic modal logics incompatible

Intuitionistic modal logics incompatible with the law of the excluded middle

✍ Dimiter Vakarelov 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 640 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

From what does the law of the excluded m

From what does the law of the excluded middle follow?

✍ V. Ya. Kreinovich 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 466 KB