- PM's Circumflex, Syntax and Philosophy of Types.Kevin C. Klement - 2011 - In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246.details
|
|
Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle.Maria Carla Galavotti (ed.) - 2004 - Dordrecht: Springer Verlag.details
|
|
Abstract Objects: An Introduction to Axiomatic Metaphysics.Edward N. Zalta - 1983 - Dordrecht, Netherland: D. Reidel.details
|
|
Úvod do teoretické sémantiky.Jaroslav Peregrin - manuscriptdetails
|
|
Variables in Natural Language: Where Do They Come From?'.Jaroslav Peregrin - 2000 - In Michael Böttner & Wolf Thümmel (eds.), Variable-free semantics. Osnabrück: Secolo. pp. 46--65.details
|
|
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin C. Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.details
|
|
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
Tense and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 147-183.details
|
|
Categorial grammar and discourse representation theory.Reinhard Muskens - 1994 - In Yorick Wilks (ed.), Proceedings of COLING 94. Kyoto: pp. 508-514.details
|
|
Variable-Binders as Functors.Achille C. Varzi - 1995 - Poznan Studies in the Philosophy of the Sciences and the Humanities 40:303-19.details
|
|
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.details
|
|
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.details
|
|
Universal semantics?Richard Routley - 1975 - Journal of Philosophical Logic 4 (3):327 - 356.details
|
|
Twenty-five years of linguistics and philosophy.Francis Jeffry Pelletier & Richmond H. Thomason - 2002 - Linguistics and Philosophy 25 (5-6):507-529.details
|
|
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.details
|
|
Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.details
|
|
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.details
|
|
Concealed causatives.Maria Bittner - 1999 - Natural Language Semantics 7 (1):1-78.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.details
|
|
Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.details
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
A fictionalist theory of universals.Tim Button & Robert Trueman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.details
|
|
Lambda in Sentences with Designators.Nathan Salmon - 2010 - Journal of Philosophy 107 (9):445-468.details
|
|
Types of the Theory of Types in Wittgenstein’s Tractatus.Andrei Nekhaev - 2021 - Tomsk State University Journal of Philosophy, Sociology and Political Science 15 (62):218–227.details
|
|
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Arithmetic is Determinate.Zachary Goodsell - 2021 - Journal of Philosophical Logic 51 (1):127-150.details
|
|
Methodology in the ontology of artworks: exploring hermeneutic fictionalism.Elisa Caldarola - 2020 - In Concha Martinez Vidal & José Luis Falguera Lopez (ed.), Abstract Objects: For and Against.details
|
|
A hybrid categorial approach to question composition.Yimei Xiang - 2020 - Linguistics and Philosophy 44 (3):587-647.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 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. 43-78.details
|
|
Recognizing Argument Types and Adding Missing Reasons.Christoph Lumer - 2019 - In Bart J. Garssen, David Godden, Gordon Mitchell & Jean Wagemans (eds.), Proceedings of the Ninth Conference of the International Society for the Study of Argumentation (ISSA). [Amsterdam, July 3-6, 2018.]. Sic Sat. pp. 769-777.details
|
|
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.details
|
|
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.details
|
|
Natural Language Semantics and Computability.Richard Moot & Christian Retoré - 2019 - Journal of Logic, Language and Information 28 (2):287-307.details
|
|
Ins and outs of Russell's theory of types.Ali Bora Enderer - unknowndetails
|
|
A Brief History of Fuzzy Logic in the Czech Republic and Significance of P. Hájek for Its Development.Vilém Novák - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).details
|
|
Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.details
|
|
Identity, Equality, Nameability and Completeness.María Manzano & Manuel Crescencio Moreno - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|
Against a Universal Definition of 'Type'.Tomas Petricek - unknowndetails
|
|
Husserl's Logical Grammar.Ansten Klev - 2018 - History and Philosophy of Logic 39 (3):232-269.details
|
|
Copredication in homotopy type theory.Hamidreza Bahramian - manuscriptdetails
|
|
How Fine-Grained is Reality?Peter Fritz - 2017 - Filosofisk Supplement 13 (2):52-57.details
|
|
Nonindexical Context-Dependence and the Interpretation as Abduction Approach.Erich Rast - 2011 - Lodz Papers in Pragmatics 7 (2):259-279.details
|
|
A Theory of Practical Meaning.Carlotta Pavese - 2017 - Philosophical Topics 45 (2):65-96.details
|
|
LEO-II and Satallax on the Sledgehammer test bench.Nik Sultana, Jasmin Christian Blanchette & Lawrence C. Paulson - 2013 - Journal of Applied Logic 11 (1):91-102.details
|
|
The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.details
|
|
Identity and Sortals.Ansten Klev - 2017 - Erkenntnis 82 (1):1-16.details
|
|
Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.details
|
|