𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extensionality

✍ Scribed by Marcus, Ruth Barcan


Year
0
Tongue
English
Weight
738 KB
Category
Fiction

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Promoting extensionality
✍ W. V. Quine πŸ“‚ Article πŸ“… 1994 πŸ› Springer Netherlands 🌐 English βš– 558 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