𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Promoting extensionality

✍ Scribed by W. V. Quine


Publisher
Springer Netherlands
Year
1994
Tongue
English
Weight
558 KB
Volume
98
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Extensionality
✍ Marcus, Ruth Barcan πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 738 KB
Extensionality Versus Constructivity
✍ Silvio Valentini πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 144 KB

We analyze some extensions of Martin-LΓΆf's constructive type theory by means of extensional set constructors and we show that often the most natural requirements over them lead to classical logic or even to inconsistency.

Predication and extensionality
✍ Karel Lambert πŸ“‚ Article πŸ“… 1974 πŸ› Springer Netherlands 🌐 English βš– 583 KB
Intentionality without extensionality
✍ Robert J. Lithown; Ausonio Marras πŸ“‚ Article πŸ“… 1974 πŸ› Springer Netherlands 🌐 English βš– 403 KB