- WHAT CAN A CATEGORICITY THEOREM TELL US?Toby Meadows - 2013 - Review of Symbolic Logic (3):524-544.details
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
Expressibility of propositions in -languages.Pavel Materna - 1974 - Studia Logica 33 (3):259 - 271.details
|
|
Computers as Interactive Machines: Can We Build an Explanatory Abstraction?Alice Martin, Mathieu Magnaudet & Stéphane Conversy - 2023 - Minds and Machines 33 (1):83-112.details
|
|
A Higher-Order Theory of Presupposition.Scott Martin & Carl Pollard - 2012 - Studia Logica 100 (4):727-751.details
|
|
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.details
|
|
Identity, Equality, Nameability and Completeness.María Manzano & Manuel Crescencio Moreno - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|
Hybrid Partial Type Theory.María Manzano, Antonia Huertas, Patrick Blackburn, Manuel Martins & Víctor Aranda - forthcoming - Journal of Symbolic Logic:1-43.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.details
|
|
Much Ado About the Many.Jonathan Mai - 2021 - Principia: An International Journal of Epistemology 25 (1).details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.details
|
|
On church's formal theory of functions and functionals.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.details
|
|
On church's formal theory of functions and functionals: The λ-calculus: connections to higher type recursion theory, proof theory, category theory.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.details
|
|
Intertheoretic Reduction, Confirmation, and Montague’s Syntax-Semantics Relation.Kristina Liefke & Stephan Hartmann - 2018 - Journal of Logic, Language and Information 27 (4):313-341.details
|
|
Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design. [REVIEW]Dominik Lücke - 2010 - Logica Universalis 4 (2):255-333.details
|
|
Programs, grammars and arguments: A personal view of some connections between computation, language and logic.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3):312-328.details
|
|
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.details
|
|
A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.details
|
|
Looking backwards in type logic.Jan Köpping & Thomas Ede Zimmermann - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):646-672.details
|
|
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.details
|
|
On the number of types.Miloš Kosterec - 2017 - Synthese 194 (12):5005-5021.details
|
|
The Cooper Storage Idiom.Gregory M. Kobele - 2018 - Journal of Logic, Language and Information 27 (2):95-131.details
|
|
The difficulty with the well-formedness of ontological statements.Guido Küng - 1983 - Topoi 2 (1):111-119.details
|
|
The paradoxes and Russell's theory of incomplete symbols.Kevin C. Klement - 2014 - Philosophical Studies 169 (2):183-207.details
|
|
The concept horse is a concept.Ansten Klev - 2018 - Review of Symbolic Logic 11 (3):547-572.details
|
|
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction.Ansten Klev - 2023 - Notre Dame Journal of Formal Logic 64 (2):205-223.details
|
|
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.details
|
|
Identity in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.details
|
|
Identity and Sortals.Ansten Klev - 2017 - Erkenntnis 82 (1):1-16.details
|
|
Husserl's Logical Grammar.Ansten Klev - 2018 - History and Philosophy of Logic 39 (3):232-269.details
|
|
Mechanizing principia logico-metaphysica in functional type-theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2018 - Review of Symbolic Logic 13 (1):206-218.details
|
|
Standard Formalization.Jeffrey Ketland - 2022 - Axiomathes 32 (3):711-748.details
|
|
Foundations of applied mathematics I.Jeffrey Ketland - 2021 - Synthese 199 (1-2):4151-4193.details
|
|
Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus.B. Woltzenlogel Paleo & Annika Kanckos - 2017 - Studia Logica 105 (3):553-586.details
|
|
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.details
|
|
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.details
|
|
Completeness and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.details
|
|
Probabilities on Sentences in an Expressive Logic.Marcus Hutter, John W. Lloyd, Kee Siong Ng & William T. B. Uther - 2013 - Journal of Applied Logic 11 (4):386-420.details
|
|
Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.details
|
|
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.details
|
|
CERES in higher-order logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.details
|
|
A Simplified Proof of the Epsilon Theorems.Stefan Hetzl - forthcoming - Review of Symbolic Logic:1-16.details
|
|
Reasoning about conditional probabilities in a higher-order-logic theorem prover.Osman Hasan & Sofiène Tahar - 2011 - Journal of Applied Logic 9 (1):23-40.details
|
|
Formal reliability analysis of combinational circuits using theorem proving.Osman Hasan, Jigar Patel & Sofiène Tahar - 2011 - Journal of Applied Logic 9 (1):41-60.details
|
|
Book review. [REVIEW]John Hale - 2007 - Journal of Logic, Language and Information 16 (2):217-220.details
|
|
The systems of Leśniewski in relation to contemporary logical research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.details
|
|
Semantics with Dependent Types for Indefinites.Justyna Grudzińska - 2016 - Studies in Logic, Grammar and Rhetoric 46 (1):173-192.details
|
|
On the termination of russell’s description elimination algorithm.Clemens Grabmayer, Joop Leo, Vincent van Oostrom & Albert Visser - 2011 - Review of Symbolic Logic 4 (3):367-393.details
|
|