✦ 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
DOI: 10.1007/bf01064030

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Promoting Extensionality

✍ Quine, W V 📂 Fiction 📅 0 🌐 English ⚖ 396 KB

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.

Causality and Extensionality

✍ Anscombe, G E M 📂 Fiction 📅 0 🌐 English ⚖ 210 KB

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