- From many-valued consequence to many-valued connectives.Emmanuel Chemla & Paul Egré - 2018 - Synthese 198 (S22):5315-5352.details
|
|
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
|
|
Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.details
|
|
Synchronous Online Philosophy Courses: An Experiment in Progress.Fritz McDonald - 2018 - APA Newsletter on Philosophy and Computers 18 (1):37-40.details
|
|
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.details
|
|
O expressivismo lógico de Aristóteles segundo Lucas Angioni: um breve e introdutório quadro teórico.Aislan Fernandes Pereira - 2017 - Books of Abstracts (3rd FILOMENA Workshop).details
|
|
Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.details
|
|
(1 other version)A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.details
|
|
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.details
|
|
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.details
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.details
|
|
Proof-theoretic semantics as a resource for expressing semantic variability.Nissim Francez - 2022 - Synthese 200 (4):1-27.details
|
|
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.Walter Carnielli & Abilio Rodrigues - 2021 - Logic Journal of the IGPL 29 (4):569-584.details
|
|
Recovery operators, paraconsistency and duality.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2020 - Logic Journal of the IGPL 28 (5):624-656.details
|
|
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.details
|
|
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.details
|
|
Critical Review: On Reasoning and Argument.Geoff C. Goddu - 2018 - Informal Logic 38 (1):133-150.details
|
|
The Display Problem Revisited.Tyke Nunez - 2010 - In Michal Peliš Vit Punčochàr (ed.), The Logica Yearbook. College Publications. pp. 143-156.details
|
|
Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication.Francine F. Abeles - 2014 - History and Philosophy of Logic 35 (1):1-14.details
|
|
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.details
|
|
Locality for Classical Logic.Kai Brünnler - 2006 - Notre Dame Journal of Formal Logic 47 (4):557-580.details
|
|
Bolzano's Theory of Ground and Consequence.Armin Tatzel - 2002 - Notre Dame Journal of Formal Logic 43 (1):1-25.details
|
|
The universality of logic: On the connection between rationality and logical ability.Simon J. Evnine - 2001 - Mind 110 (438):335-367.details
|
|
The conditional fallacy.Daniel Bonevac, Josh Dever & and David Sosa - 2006 - Philosophical Review 115 (3):273-316.details
|
|
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.details
|
|
Types as graphs: Continuations in type logical grammar. [REVIEW]Chris Barker & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (4):331-370.details
|
|
A Variant of Thomason's First-Order Logic CF Based on Situations.Xuegang Wang & Peter Mott - 1998 - Notre Dame Journal of Formal Logic 39 (1):74-93.details
|
|
On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.details
|
|
Unraveling the enigma of human intelligence: Evolutionary psychology and the multimodular mind.Leda Cosmides & John Tooby - 2001 - In Robert J. Sternberg & James C. Kaufman (eds.), The Evolution of Intelligence. Lawrence Erlbaum. pp. 145--198.details
|
|
Linear logic displayed.Nuel Belnap - 1989 - Notre Dame Journal of Formal Logic 31 (1):14-25.details
|
|
(1 other version)Argumentation Theory and the conception of epistemic justification.Lilian Bermejo-Luque - 2009 - In Marcin Koszowy (ed.), Informal logic and argumentation theory. Białystok: University of Białystok. pp. 285--303.details
|
|
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.details
|
|
The content and acquisition of lexical concepts.Richard Horsey - 2006details
|
|
Hybrid reasoning using universal attachment.Karen L. Myers - 1994 - Artificial Intelligence 67 (2):329-375.details
|
|
A Deep Inference System for the Modal Logic S5.Phiniki Stouppa - 2007 - Studia Logica 85 (2):199-214.details
|
|
On the Equivalence Conjecture for Proof-Theoretic Harmony.Florian Steinberger - 2013 - Notre Dame Journal of Formal Logic 54 (1):79-86.details
|
|
How to Derive Aristotle’s Categories from First Principles.Karl Reed & Humphrey P. van Polanen Petel - 2021 - Axiomathes 32 (Suppl 2):113-147.details
|
|
The Limits of Computation.Andrew Powell - 2022 - Axiomathes 32 (6):991-1011.details
|
|
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus.Pavlović Edi - 2015 - European Journal of Analytic Philosophy 11 (2):79--88.details
|
|
Natural Semantics: Why Natural Deduction is Intuitionistic.James W. Garson - 2001 - Theoria 67 (2):114-139.details
|
|
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2009 - Journal of Applied Non-Classical Logics 19 (2):149-166.details
|
|