- The liar and the new t-schema.Stephen Read - 2010 - Discusiones Filosóficas 11 (17):119-137.details
|
|
Introduction.Elisabeth Camp - 2007 - The Baltic International Yearbook of Cognition, Logic and Communication 3 (1).details
|
|
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
|
|
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.details
|
|
Úvod do teoretické sémantiky.Jaroslav Peregrin - manuscriptdetails
|
|
Semantics with Dependent Types for Indefinites.Justyna Grudzińska - 2016 - Studies in Logic, Grammar and Rhetoric 46 (1):173-192.details
|
|
On the number of types.Miloš Kosterec - 2017 - Synthese 194 (12):5005-5021.details
|
|
Commentary on Hitchcock, Mcburney & Parsons.Walid Saba - unknowndetails
|
|
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
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Philosophy of mathematics and computer science.Kazimierz Trzęsicki - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).details
|
|
Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.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
|
|
Natural Language Semantics and Computability.Richard Moot & Christian Retoré - 2019 - Journal of Logic, Language and Information 28 (2):287-307.details
|
|
Identity and Sortals.Ansten Klev - 2017 - Erkenntnis 82 (1):1-16.details
|
|
Implicit dynamic function introduction and Ackermann-like Function Theory.Marcos Cramer - forthcoming - IfCoLog Journal of Logics and Their Applications.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
|
|
Syntactic structure and semantical reference I.Roman Suszko - 1958 - Studia Logica 8 (1):213 - 247.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
|
|
Much Ado About the Many.Jonathan Mai - 2021 - Principia: An International Journal of Epistemology 25 (1).details
|
|
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.details
|
|
Type-theoretic logic with an operational account of intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.details
|
|
A note on the use of lamda conversion in generalized phrase structure grammars.Elisabet Engdahl - 1980 - Linguistics and Philosophy 4 (4):505 - 515.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
|
|
Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.details
|
|
Universal Reasoning, Rational Argumentation and Human-Machine Interaction.Benzmüller Christoph - 2017details
|
|
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
|
|
ALONZO: Deduktionsagenten höherer Ordnung für Mathematische Assistenzsysteme.Benzmüller Christoph - 2003details
|
|
Embedding and Automating Conditional Logics in Classical Higher-Order Logic.Christoph Benzmüller, Dov Gabbay, Valerio Genovese & Daniele Rispoli - 2012 - Annals of Mathematics and Artificial Intelligence 66 (1-4):257-271.details
|
|
Automated reasoning in higher-order logic using the tptp thf infrastructure.Sutcliffe Geoff & Benzmüller Christoph - 2010 - Journal of Formalized Reasoning 3 (1):1-27.details
|
|
Logical Grammar.Glyn Morrill - 2012 - In Ruth M. Kempson, Tim Fernando & Nicholas Asher (eds.), Philosophy of linguistics. Boston: North Holland. pp. 63.details
|
|
Hyperfine-grained meanings in classical logic.Reinhard Muskens - 1991 - Logique Et Analyse 133:159-176.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
|
|