- On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. De Paiva - 2000 - Studia Logica 65 (3):383 - 416.details
|
|
Informal Logic: A 'Canadian' Approach to Argument.Federico Puppo (ed.) - 2019 - Windsor, Canada: Windsor Studies in Argumentation.details
|
|
Demostraciones «tópicamente puras» en la práctica matemática: un abordaje elucidatorio.Guillermo Nigro Puente - 2020 - Dissertation, Universidad de la República Uruguaydetails
|
|
First Order Expressivist Logic.John Cantwell - 2013 - Erkenntnis 78 (6):1381-1403.details
|
|
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.details
|
|
Sobre la naturaleza multiple de las constantes lógicas.Axel Barcelo - 2007 - In Orayen: De la Forma Lógica al Significado. México: IIFs UNAM. pp. 61-82.details
|
|
Epistemic dimensions of personhood.Simon Evnine - 2008 - New York: Oxford University Press.details
|
|
Should Anti-Realists be Anti-Realists About Anti-Realism?Roy T. Cook - 2014 - Erkenntnis 79 (S2):233-258.details
|
|
Tolerant reasoning: nontransitive or nonmonotonic?Pablo Cobreros, Paul Egré, Dave Ripley & Robert van Rooij - 2017 - Synthese 199 (Suppl 3):681-705.details
|
|
Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.details
|
|
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.details
|
|
Interpreting the compositional truth predicate in models of arithmetic.Cezary Cieśliński - 2021 - Archive for Mathematical Logic 60 (6):749-770.details
|
|
Suszko’s problem: Mixed consequence and compositionality.Emmanuel Chemla & Paul Égré - 2019 - Review of Symbolic Logic 12 (4):736-767.details
|
|
From many-valued consequence to many-valued connectives.Emmanuel Chemla & Paul Egré - 2018 - Synthese 198 (S22):5315-5352.details
|
|
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.details
|
|
Recovery operators, paraconsistency and duality.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2020 - Logic Journal of the IGPL 28 (5):624-656.details
|
|
Propositional intuitionistic multiple-conclusion calculus via proof graphs.Ruan V. B. Carvalho, Anjolina G. de Oliveira & Ruy J. G. B. de Queiroz - forthcoming - Logic Journal of the IGPL.details
|
|
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.W. Carnielli & Abilio Rodrigues - forthcoming - Logic Journal of the IGPL.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
Making sense of (in)determinate truth: the semantics of free variables.John Cantwell - 2018 - Philosophical Studies 175 (11):2715-2741.details
|
|
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic.John Cantwell - 2015 - Journal of Logic, Language and Information 24 (1):27-51.details
|
|
Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.details
|
|
The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.details
|
|
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.details
|
|
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.details
|
|
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks.Torben Braüner - 2014 - Journal of Logic, Language and Information 23 (4):415-439.details
|
|
Why should we abandon the mental logic hypothesis?Luca Bonatti - 1994 - Cognition 50 (1-3):17-39.details
|
|
Admissibility of Cut in LC with Fixed Point Combinator.Katalin Bimbó - 2005 - Studia Logica 81 (3):399-423.details
|
|
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.details
|
|
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.details
|
|
Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.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
|
|
Two types of multiple-conclusion systems.A. Avron - 1998 - Logic Journal of the IGPL 6 (5):695-718.details
|
|
Sequent-based logical argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.details
|
|
On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.details
|
|
The Boolean Many-Valued Solution to the Sorites Paradox.Ken Akiba - 2022 - Synthese 200 (2):1-25.details
|
|
A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach.Ken Akiba - 2017 - Journal of Philosophical Logic 46 (4):419-441.details
|
|
Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication.Francine F. Abeles - 2014 - History and Philosophy of Logic 35 (1):1-14.details
|
|
Topics in the Proof Theory of Non-classical Logics. Philosophy and Applications.Fabio De Martin Polo - 2023 - Dissertation, Ruhr-Universität Bochumdetails
|
|
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
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
The peculiarities of stoic propositional logic.David Hitchcock - 2005 - In Kent A. Peacock & Andrew D. Irvine (eds.), Mistakes of reason: essays in honour of John Woods. Buffalo: University of Toronto Press. pp. 224--242.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
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic:1-34.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Disjunctive Syllogism without Ex falso.Luiz Carlos Pereira, Edward Hermann Haeusler & Victor Nascimento - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 193-209.details
|
|
Focusing Gentzen’s LK Proof System.Chuck Liang & Dale Miller - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 275-313.details
|
|
The adequacy problem for inferential logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.details
|
|
The correspondence between cut-elimination and normalization II.J. Zucker - 1974 - Annals of Mathematical Logic 7 (2):113.details
|
|