- A Comparison of Type Theory with Set Theory.Ansten Klev - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 271-292.details
|
|
Eta-rules in Martin-löf type theory.Ansten Klev - 2019 - Bulletin of Symbolic Logic 25 (3):333-359.details
|
|
The Methodology and Structure of Gottlob Frege's Logico-philosophical Investigations.Kazuyuki Nomoto - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):73-97.details
|
|
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin C. Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.details
|
|
Functional operations in Frege's Begriffsschrift.Peter M. Simons - 1988 - History and Philosophy of Logic 9 (1):35-42.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
(1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
The sense/reference distinction in constructive semantics.Per Martin-löf - 2021 - Bulletin of Symbolic Logic 27 (4):501-513.details
|
|
(1 other version)Comments on Prof. Kazuyuki Nomoto's Paper.Per Martin-Löf - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):98-99.details
|
|
(1 other version)Mathematical Logic as Based on the Theory of Types.Bertrand Russell, Irving M. Copi & James A. Gould - 1974 - Journal of Symbolic Logic 39 (2):356-356.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
Abstraction, Structure, and Substitution.Peter Simons - 2007 - Polish Journal of Philosophy 1 (1):81-100.details
|
|