- 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
|
|
Much Ado About the Many.Jonathan Mai - 2021 - Principia: An International Journal of Epistemology 25 (1).details
|
|
Arithmetic is Determinate.Zachary Goodsell - 2021 - Journal of Philosophical Logic 51 (1):127-150.details
|
|
The Limits of Computation.Andrew Powell - 2022 - Axiomathes 32 (6):991-1011.details
|
|
Adjectival and Adverbial Modification: The View from Modern Type Theories.Stergios Chatzikyriakidis & Zhaohui Luo - 2017 - Journal of Logic, Language and Information 26 (1):45-88.details
|
|
Foundations of applied mathematics I.Jeffrey Ketland - 2021 - Synthese 199 (1-2):4151-4193.details
|
|
Pravda a paradox: úvod do problematiky.Jiří Raclavský - 2010 - Pro-Fil 10 (2):13-22.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
|
|
Introduction.Elisabeth Camp - 2007 - The Baltic International Yearbook of Cognition, Logic and Communication 3 (1).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
|
|
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
|
|
Scientific phenomena and patterns in data.Pascal Ströing - 2018 - Dissertation, Lmu Münchendetails
|
|
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
|
|
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
|
|
Making Logical Form type-logical: Glue semantics for Minimalist syntax.Matthew Gotham - 2018 - Linguistics and Philosophy 41 (5):511-556.details
|
|
Philosophy of mathematics and computer science.Kazimierz Trzęsicki - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).details
|
|
Semantics with Dependent Types for Indefinites.Justyna Grudzińska - 2016 - Studies in Logic, Grammar and Rhetoric 46 (1):173-192.details
|
|
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.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 Cooper Storage Idiom.Gregory M. Kobele - 2018 - Journal of Logic, Language and Information 27 (2):95-131.details
|
|
Implicit dynamic function introduction and Ackermann-like Function Theory.Marcos Cramer - forthcoming - IfCoLog Journal of Logics and Their Applications.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
|
|
Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.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
|
|
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic.Alexander Steen & Christoph Benzmüller - 2016 - Logic and Logical Philosophy 25 (4):535-554.details
|
|
Universal Reasoning, Rational Argumentation and Human-Machine Interaction.Benzmüller Christoph - 2017details
|
|
Comparing Approaches To Resolution Based Higher-Order Theorem Proving.Christoph Benzmüller - 2002 - Synthese 133 (1-2):203-335.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
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.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
|
|
Glivenko and Kuroda for simple type theory.Chad E. Brown & Christine Rizkallah - 2014 - Journal of Symbolic Logic 79 (2):485-495.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
|
|
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.details
|
|
Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Paolo Bouquet, Luciano Serafini & Richmond H. Thomason (eds.), Perspectives on Contexts. Center for the Study of Language and Inf. pp. 171-188.details
|
|
Identity and Sortals.Ansten Klev - 2017 - Erkenntnis 82 (1):1-16.details
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
Commentary on Hitchcock, Mcburney & Parsons.Walid Saba - unknowndetails
|
|
A Framework for Deliberation Dialogues.David Hitchcock, Peter Mcburney & Simon Parsons - unknowndetails
|
|