- On an Intuitionistic Modal Logic.G. M. Bierman & V. C. V. De Paiva - 2000 - Studia Logica 65 (3):383 - 416.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
|
|
Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - 2019 - Acta Analytica 34 (3):369-383.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
|
|
Epistemic dimensions of personhood.Simon Evnine - 2008 - New York: Oxford University Press.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
|
|
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
|
|
Cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1.details
|
|
Canonical signed calculi with multi-ary quantifiers.Anna Zamansky & Arnon Avron - 2012 - Annals of Pure and Applied Logic 163 (7):951-960.details
|
|
Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.details
|
|
Generalized Entailments.Andrzej Wiśniewski - 2017 - Logic and Logical Philosophy 26 (3):321-356.details
|
|
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.details
|
|
Logical Connectives for Constructive Modal Logic.Heinrich Wansing - 2006 - Synthese 150 (3):459-482.details
|
|
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.details
|
|
Completeness and partial soundness results for intersection and union typing for λ ¯ μ μ ̃.Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.details
|
|
Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.details
|
|
Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.details
|
|
A Deep Inference System for the Modal Logic S5.Phiniki Stouppa - 2007 - Studia Logica 85 (2):199-214.details
|
|
Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.details
|
|
Analytic cut.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):560-564.details
|
|
A system for proper multiple-conclusion entailment.Tomasz Skura & Andrzej Wiśniewski - 2015 - Logic and Logical Philosophy 24 (2).details
|
|
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.details
|
|
Acceptance, inference, and the multiple-conclusion sequent.Tor Sandqvist - 2012 - Synthese 187 (3):913-924.details
|
|
The analytic/synthetic distinction.Gillian Russell - 2007 - Philosophy Compass 2 (5):712–729.details
|
|
Metaphysical analyticity and the epistemology of logic.Gillian K. Russell - 2013 - Philosophical Studies 171 (1):161-175.details
|
|
Logical Nihilism: Could There Be No Logic?Gillian Russell - 2018 - Philosophical Issues 28 (1):308-324.details
|
|
A Gentzen-type calculus of sequents for single-operator propositional logic.John Riser - 1967 - Journal of Symbolic Logic 32 (1):75-80.details
|
|
The psychology of knights and knaves.Lance J. Rips - 1989 - Cognition 31 (2):85-116.details
|
|
Paralogical reasoning: Evans, Johnson-Laird, and Byrne on liar and truth-teller puzzles.Lance J. Rips - 1990 - Cognition 36 (3):291-314.details
|
|
Responses.David Ripley - 2021 - Análisis Filosófico 41 (2):351-373.details
|
|
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.details
|
|
The Limits of Computation.Andrew Powell - 2022 - Axiomathes 32 (6):991-1011.details
|
|
Polymorphism and the obstinate circularity of second order logic: A victims’ tale.Paolo Pistone - 2018 - Bulletin of Symbolic Logic 24 (1):1-52.details
|
|
Le problème de la justification des lois logiques de base.Patrice Philie - 2016 - Dialogue 55 (3):407-428.details
|
|
On Paradoxes in Normal Form.Mattia Petrolo & Paolo Pistone - 2019 - Topoi 38 (3):605-617.details
|
|
Linear logic displayed.Nuel Belnap - 1989 - Notre Dame Journal of Formal Logic 31 (1):14-25.details
|
|
Sí hay negación lógica.Ricardo Arturo Nicolás Francisco & Luis Estrada González - 2020 - Critica 52 (155):55-72.details
|
|
Uniform proofs as a foundation for logic programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.details
|
|
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.details
|
|
Dummett’s argument against classical logic.Michaelis Michael - 1999 - Philosophia 27 (3-4):359-382.details
|
|
Logics for algorithmic chemistries.Ceth Lightfield - 2021 - Foundations of Chemistry 23 (2):225-237.details
|
|
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.details
|
|
A focused approach to combining logics.Chuck Liang & Dale Miller - 2011 - Annals of Pure and Applied Logic 162 (9):679-697.details
|
|
Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.details
|
|