๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Future contingents, non-contradiction, and the law of excluded middle muddle

โœ Scribed by Craig Bourne


Book ID
110958772
Publisher
Oxford University Press
Year
2004
Tongue
English
Weight
91 KB
Volume
64
Category
Article
ISSN
0003-2638

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The axiom of choice and the law of exclu
โœ 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