- Unity, truth and the liar: the modern relevance of medieval solutions to the liar paradox.Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) - 2008 - New York: Springer.details
|
|
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.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
|
|
PM's Circumflex, Syntax and Philosophy of Types.Kevin Klement - 2011 - In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246.details
|
|
Nonindexical Context-Dependence and the Interpretation as Abduction Approach.Erich Rast - 2011 - Lodz Papers in Pragmatics 7 (2):259-279.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
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.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 in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.details
|
|
Categorial grammar and discourse representation theory.Reinhard Muskens - 1994 - In Yorick Wilks (ed.), Proceedings of COLING 94. Kyoto: pp. 508-514.details
|
|
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning.Benzmüller Christoph - 2017 - In Christoph Benzmüller (ed.), Lecture Notes in Computer Science: Formal Methods: Foundations and Applications - 20th Brazilian Symposium SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Springer. pp. 7-11.details
|
|
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.Fuenmayor David & Benzmüller Christoph - 2017 - In David Fuenmayor & Christoph Benzmüller (eds.), KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI. Springer International Publishing.details
|
|
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.details
|
|
Exploring Predicativity.Laura Crosilla - 1995 - In Klaus Mainzer, Peter Schuster & Helmut Schwichtenberg (eds.), Proof and Computation. World Scientific. pp. 83-108.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Term limits revisited.Stephen Neale - 2008 - Philosophical Perspectives 22 (1):375-442.details
|
|
Cumulative Habilitation Script.Christoph Benzmüller - 2006 - Saarland University, Germany.details
|
|
Abstract Objects: An Introduction to Axiomatic Metaphysics.Edward N. Zalta - 1983 - Dordrecht, Netherland: D. Reidel.details
|
|
λ-Definability on free algebras.Marek Zaionc - 1991 - Annals of Pure and Applied Logic 51 (3):279-300.details
|
|
Propositional Forms of Judgemental Interpretations.Tao Xue, Zhaohui Luo & Stergios Chatzikyriakidis - 2023 - Journal of Logic, Language and Information 32 (4):733-758.details
|
|
A hybrid categorial approach to question composition.Yimei Xiang - 2020 - Linguistics and Philosophy 44 (3):587-647.details
|
|
Supra-logic: using transfinite type theory with type variables for paraconsistency.Jørgen Villadsen - 2005 - Journal of Applied Non-Classical Logics 15 (1):45-58.details
|
|
Impredicativity and Paradox.Gabriel Uzquiano - 2019 - Thought: A Journal of Philosophy 8 (3):209-221.details
|
|
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Mathematical Logic Quarterly 3 (13‐20):211-224.details
|
|
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):211-224.details
|
|
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5‐7):93-106.details
|
|
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5-7):93-106.details
|
|
The sophisticated kind theory.Matt Teichman - 2023 - Inquiry: An Interdisciplinary Journal of Philosophy 66 (9):1613-1654.details
|
|
The sophisticated kind theory.Matt Teichman - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy:1-47.details
|
|
Syntactic structure and semantical reference I.Roman Suszko - 1958 - Studia Logica 8 (1):213 - 247.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
|
|
Symmetry and Paradox.Stephen Read - 2006 - History and Philosophy of Logic 27 (4):307-318.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Linguistic Complexity and Argumentative Unity: A Lvov-Warsaw School Supplement.Peter Simons - 2014 - Studies in Logic, Grammar and Rhetoric 36 (1):101-119.details
|
|
Universal semantics?Richard Routley - 1975 - Journal of Philosophical Logic 4 (3):327 - 356.details
|
|
Un dilemme pour la philosophie scientifique en général et pour celle de Carnap en particulier.Philippe de Rouilhan - 2018 - Philosophia Scientiae 22:159-178.details
|
|
Un dilemme pour la philosophie scientifique en général et pour celle de Carnap en particulier.Philippe de Rouilhan - 2018 - Philosophia Scientiae 22:159-178.details
|
|
Choice and descriptions in enriched intensional languages — I.R. Routley, R. K. Meyer & L. Goddard - 1974 - Journal of Philosophical Logic 3 (3):291 - 316.details
|
|
System ST toward a type system for extraction and proofs of programs.Christophe Raffalli - 2003 - Annals of Pure and Applied Logic 122 (1-3):107-130.details
|
|
Pravda a paradox: úvod do problematiky.Jiří Raclavský - 2010 - Pro-Fil 10 (2):13-22.details
|
|
The Future of Logic: Foundation-Independence.Florian Rabe - 2016 - Logica Universalis 10 (1):1-20.details
|
|
Proceeding in Abstraction. From Concepts to Types and the recent perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.details
|
|
Lambek calculus with restricted contraction and expansion.Andreja Prijatelj - 1992 - Studia Logica 51 (1):125 - 143.details
|
|
The Limits of Computation.Andrew Powell - 2022 - Axiomathes 32 (6):991-1011.details
|
|
An Overview of Type Theories.Nino Guallart - 2015 - Axiomathes 25 (1):61-77.details
|
|
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.details
|
|
Polymorphism and the obstinate circularity of second order logic: A victims’ tale.Paolo Pistone - 2018 - Bulletin of Symbolic Logic 24 (1):1-52.details
|
|
Against a Universal Definition of 'Type'.Tomas Petricek - unknowndetails
|
|
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics.Jaroslav Peregrin - 1995 - Dordrecht, Netherland: Springer.details
|
|
Twenty-five years of linguistics and philosophy.Francis Jeffry Pelletier & Richmond H. Thomason - 2002 - Linguistics and Philosophy 25 (5-6):507-529.details
|
|