𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Intentionality without extensionality

✍ Scribed by Robert J. Lithown; Ausonio Marras

Publisher
Springer Netherlands
Year
1974
Tongue
English
Weight
403 KB
Volume
25
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Extensionality
Extensionality
✍ Marcus, Ruth Barcan πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 738 KB
Promoting extensionality
Promoting extensionality
✍ W. V. Quine πŸ“‚ Article πŸ“… 1994 πŸ› Springer Netherlands 🌐 English βš– 558 KB
Extensionality Versus Constructivity
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.