Intensional Logic in Extensional Language

Category: Fiction

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extensional Constructs in Intensional Ty

📁 Extensional Constructs in Intensional Type Theory

✍ Martin Hofmann PhD (auth.) 📂 Library 📅 1997 🏛 Springer-Verlag London 🌐 English

<p><B>Extensional Constructs in Intensional Type Theory</B> presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theorie

Introduction to Metalogic: With an Appen

📁 Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic

✍ Imre Ruzsa 📂 Library 📅 1997 🏛 Áron publishers 🌐 English

Introduction to Metalogic: With an Appen

📁 Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic

✍ Imre Ruzsa 📂 Library 📅 1997 🏛 Áron Publishers, Hungary 🌐 English

Concerning Carnap's Definition of 'Exten

📁 Concerning Carnap's Definition of 'Extensional' and 'Intensional'

📂 Fiction

Intensional logic and the metaphysics of

📁 Intensional logic and the metaphysics of intentionality

✍ Edward N. Zalta 📂 Library 📅 1988 🏛 The MIT Press 🌐 English

Intensional Logic

📁 Intensional Logic

📂 Fiction