- 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
|
|
Conditionals, Meaning, and Mood.William Starr - 2010 - Dissertation, Rutgers Universitydetails
|
|
Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer. pp. 367-387.details
|
|
Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.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
|
|
A Partial Account of Presupposition Projection.David Beaver & Emiel Krahmer - 2001 - Journal of Logic, Language and Information 10 (2):147-182.details
|
|
Dynamická sémantika a dynamická logika.Jaroslav Peregrin - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (4):333-348.details
|
|
Pozoruhodné logické systémy.Jaroslav Peregrin - 2000 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 8:90-96.details
|
|
What is Turing's Comparison between Mechanism and Writing Worth?Jean Lassègue & Giuseppe Longo - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 450--461.details
|
|
Don't Ask, Look! Linguistic Corpora as a Tool for Conceptual Analysis.Roland Bluhm - 2013 - In Miguel Hoeltje, Thomas Spitzley & Wolfgang Spohn (eds.), Was dürfen wir glauben? Was sollen wir tun? Sektionsbeiträge des achten internationalen Kongresses der Gesellschaft für Analytische Philosophie e.V. DuEPublico. pp. 7-15.details
|
|
Type-theoretic logic with an operational account of intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.details
|
|
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.details
|
|
Carnap a jazyk: z Viedne do Santa Fé.Igor Hanzel - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (4):470-497.details
|
|
The liar and the new t-schema.Stephen Read - 2010 - Discusiones Filosóficas 11 (17):119-137.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.details
|
|
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.details
|
|
Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.details
|
|
Two Problems with the Socio-Relational Critique of Distributive Egalitarianism.Christian Seidel - 2013 - In Miguel Hoeltje, Thomas Spitzley & Wolfgang Spohn (eds.), Was dürfen wir glauben? Was sollen wir tun? Sektionsbeiträge des achten internationalen Kongresses der Gesellschaft für Analytische Philosophie e.V. DuEPublico. pp. 525-535.details
|
|
Logical Grammar.Glyn Morrill - 2012 - In Ruth M. Kempson, Tim Fernando & Nicholas Asher (eds.), Philosophy of linguistics. Boston: North Holland. pp. 63.details
|
|
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.details
|
|
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.details
|
|
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.details
|
|
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.details
|
|
Types, Sets and Categories.John L. Bell - unknowndetails
|
|
A Higher-Order Theory of Presupposition.Scott Martin & Carl Pollard - 2012 - Studia Logica 100 (4):727-751.details
|
|
Montague semantics.Theo M. V. Janssen - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.details
|
|
Recent Developments in Computing and Philosophy.Anthony F. Beavers - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (2):385-397.details
|
|
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.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
|
|
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
|
|
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
|
|
Grammar induction by unification of type-logical lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.details
|
|
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
|
|
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
|
|
Abstract Objects: An Introduction to Axiomatic Metaphysics.Edward N. Zalta - 1983 - Dordrecht, Netherland: D. Reidel.details
|
|
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
|
|
Úvod do teoretické sémantiky.Jaroslav Peregrin - manuscriptdetails
|
|
Constructions and concepts.Jaroslav Peregrin - manuscriptdetails
|
|
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
|
|
Hyperfine-grained meanings in classical logic.Reinhard Muskens - 1991 - Logique Et Analyse 133:159-176.details
|
|
Variable-Binders as Functors.Achille C. Varzi - 1995 - Poznan Studies in the Philosophy of the Sciences and the Humanities 40:303-19.details
|
|
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.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
|
|