๐”– Bobbio Scriptorium
โœฆ   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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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
โœ 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