✦ LIBER ✦

Conditional Excluded Middle in Systems of Consequential Implication

✍ Scribed by C. Pizzi; T. Williamson

Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 268 KB
Volume: 34
Category: Article
ISSN: 0022-3611
DOI: 10.1007/s10992-005-0555-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut-free proof systems for logics of wea

Cut-free proof systems for logics of weak excluded middle

✍ A. Ciabattoni; D. M. Gabbay; N. Olivetti 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 169 KB

Excluded volume conditions in quasi-part

Excluded volume conditions in quasi-particle theories of superfluidity

✍ P Kleban 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 190 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

Energy system analysis of marginal elect

Energy system analysis of marginal electricity supply in consequential LCA

✍ Henrik Lund; Brian Vad Mathiesen; Per Christensen; Jannick Hoejrup Schmidt 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 210 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

Conditional Fuzzy Entropy of Maps in Fuz

Conditional Fuzzy Entropy of Maps in Fuzzy Systems

✍ Wen-Chiao Cheng 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 430 KB