- Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Intuitionism and the liar paradox.Nik Weaver - 2012 - Annals of Pure and Applied Logic 163 (10):1437-1445.details
|
|
Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.details
|
|
Why Intuitionistic Relevant Logic Cannot Be a Core Logic.Joseph Vidal-Rosset - 2017 - Notre Dame Journal of Formal Logic 58 (2):241-248.details
|
|
Quine's Argument from Despair.Sander Verhaegh - 2014 - British Journal for the History of Philosophy 22 (1):150-173.details
|
|
Names: Sense, epistemic content, and denotation.Gabriele Usberti - 2002 - Topoi 21 (1-2):99-112.details
|
|
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.Paolo Torrini, John G. Stell & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):495-525.details
|
|
Existence and Identity in Free Logic: A Problem for Inferentialism?Neil Tennant - 2007 - Mind 116 (464):1055-1078.details
|
|
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.details
|
|
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
Classical logic without bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.details
|
|
Constantes lógicas y la armonía de las reglas de inferencia.Mariela Rubin - 2017 - Revista de Humanidades de Valparaíso 9:103-119.details
|
|
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria 24 (2):147-168.details
|
|
Semantic pollution and syntactic purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.details
|
|
Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.details
|
|
Intuitionistic N-Graphs.M. Quispe-Cruz, A. G. de Oliveira, R. J. G. B. de Queiroz & V. de Paiva - 2014 - Logic Journal of the IGPL 22 (2):274-285.details
|
|
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.details
|
|
General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.details
|
|
Meaning as an inferential role.Jaroslav Peregrin - 2006 - Erkenntnis 64 (1):1-35.details
|
|
Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.details
|
|
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.F. Parlamento - 2014 - Notre Dame Journal of Formal Logic 55 (3):383-395.details
|
|
Knowledge of proofs.Peter Pagin - 1994 - Topoi 13 (2):93-100.details
|
|
Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants.Mitsuhiro Okada - 1989 - Annals of the Japan Association for Philosophy of Science 7 (4):163-172.details
|
|
Truth table logic, with a survey of embeddability results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.details
|
|
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Studia Logica 100 (4):753-785.details
|
|
Fondements ou constructivité ?Mathieu Marion - 2004 - Philosophiques 31 (1):225-230.details
|
|
Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.details
|
|
Le projet husserlien de réforme de al logique et ses prolongements chez Gian-Carlo Rota.Carlos Lobo - 2017 - Revue de Synthèse 138 (1-4):105-150.details
|
|
For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.details
|
|
What is wrong with classical negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.details
|
|
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.details
|
|
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.details
|
|
Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.details
|
|
Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.details
|
|
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.details
|
|
On Argumentation Logic and Propositional Logic.Antonis C. Kakas, Paolo Mancarella & Francesca Toni - 2018 - Studia Logica 106 (2):237-279.details
|
|
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus.Andrzej Indrzejczak - 2016 - Bulletin of the Section of Logic 45 (2).details
|
|
Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.details
|
|
Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.details
|
|
Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Comments on Predicative Logic.Fernando Ferreira - 2006 - Journal of Philosophical Logic 35 (1):1-8.details
|
|
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.details
|
|
Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth - 2017 - Logic and Logical Philosophy 26 (2).details
|
|
Tonking a theory of content: an inferentialist rejoinder.Jon Cogburn - 2004 - Logic and Logical Philosophy 13:31-55.details
|
|
The logic of logical revision formalizing Dummett's argument.Jon Cogburn - 2005 - Australasian Journal of Philosophy 83 (1):15 – 32.details
|
|