Journal of Philosophical Logic 10 (1):101 - 115 (1981)
|Abstract||A version of intuitionistic type theory is presented here in which all logical symbols are defined in terms of equality. This language is used to construct the so-called free topos with natural number object. It is argued that the free topos may be regarded as the universe of mathematics from an intuitionist's point of view.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Wayne Aitken & Jeffrey A. Barrett (2007). Stability and Paradox in Algorithmic Logic. Journal of Philosophical Logic 36 (1):61 - 95.
Jeffrey Barrett (2007). Stability and Paradox in Algorithmic Logic. Journal of Philosophical Logic 36 (1):61 - 95.
Terence Cuneo (2008). Intuitionism's Burden: Thomas Reid on the Problem of Moral Motivation. Journal of Scottish Philosophy 6 (1):21-44.
Jan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Paul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
I. Grattan-Guinness (1982). Psychology in the Foundations of Logic and Mathematics: The Cases of Boole, Cantor and Brouwer. History and Philosophy of Logic 3 (1):33-53.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
G. Landini (2011). Logicism and the Problem of Infinity: The Number of Numbers. Philosophia Mathematica 19 (2):167-212.
Added to index2009-01-28
Total downloads23 ( #53,955 of 551,105 )
Recent downloads (6 months)1 ( #63,341 of 551,105 )
How can I increase my downloads?