Dordrecht, Netherland: Springer (2011)
| Abstract |
Prolegomena It is fitting to begin this book on intuitionistic type theory by
putting the subject matter into perspective. The purpose of this chapter is to
...
|
| Keywords | Type theory |
| Categories | (categorize this paper) |
| Buy this book | $133.04 new (22% off) $134.64 used (21% off) Amazon page |
| Call number | QA9.G697 2011 |
| ISBN(s) | 9400717350 9400736398 9789400717350 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,089
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
View all 34 references / Add more references
Citations of this work BETA
Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
Dialectic, the Dictum de Omni and Ecthesis.Michel Crubellier, Mathieu Marion, Zoe McConaughey & Shahid Rahman - 2019 - History and Philosophy of Logic 40 (3):207-233.
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shīrāzī’s Insights Into the Dialectical Constitution of Meaning and Knowledge.Shahid Rahman, Muhammad Iqbal & Youcef Soufi - 2019 - Cham, Switzerland: Springer Verlag.
View all 9 citations / Add more citations
Similar books and articles
The Logic of First Order Intuitionistic Type Theory with Weak Sigma- Elimination.M. D. G. Swaen - 1991 - Journal of Symbolic Logic 56 (2):467-483.
An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory.Peter Dybjer - 2000 - Journal of Symbolic Logic 65 (2):525-549.
Intuitionist Type Theory and Foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.
Glivenko Type Theorems for Intuitionistic Modal Logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
What is the Type-1/Type-2 Distinction?Nick Chater - 1997 - Behavioral and Brain Sciences 20 (1):68-69.
A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe.Erik Palmgren - 1991 - Journal of Symbolic Logic 56 (3):1012-1015.
The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
A Weak Intuitionistic Propositional Logic with Purely Constructive Implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
Analytics
Added to PP index
2011-12-25
Total views
44 ( #255,128 of 2,499,006 )
Recent downloads (6 months)
1 ( #421,180 of 2,499,006 )
2011-12-25
Total views
44 ( #255,128 of 2,499,006 )
Recent downloads (6 months)
1 ( #421,180 of 2,499,006 )
How can I increase my downloads?
Downloads
