- Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.details
|
|
Computing interpolants in implicational logics.Makoto Kanazawa - 2006 - Annals of Pure and Applied Logic 142 (1):125-201.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.details
|
|
A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection.Markus Michelbrink - 2006 - Journal of Symbolic Logic 71 (4):1237 - 1283.details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
Some weak fragments of {${\rm HA}$} and certain closure properties.Morteza Moniri & Mojtaba Moniri - 2002 - Journal of Symbolic Logic 67 (1):91-103.details
|
|
Truth in a Logic of Formal Inconsistency: How classical can it get?Lavinia Picollo - 2020 - Logic Journal of the IGPL 28 (5):771-806.details
|
|
Absorbing the structural rules in the sequent calculus with additional atomic rules.Franco Parlamento & Flavio Previale - 2020 - Archive for Mathematical Logic 59 (3-4):389-408.details
|
|
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.details
|
|
Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.details
|
|
(1 other version)Reinhard Kahle and Michael Rathjen : Gentzen’s Centenary. The Quest for Consistency.David Binder - 2018 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 49 (3):475-479.details
|
|
Representing conjunctive deductions by disjunctive deductions.Kosta Došen & Zoran Petrić - 2017 - Review of Symbolic Logic 10 (1):145-157.details
|
|
Choosing Your Nonmonotonic Logic: A Shopper’s Guide.Ulf Hlobil - 2018 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2017. College Publications. pp. 109-123.details
|
|
Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.details
|
|
Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.details
|
|
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
|
|
A Simple Sequent Calculus for Angell’s Logic of Analytic Containment.Rohan French - 2017 - Studia Logica 105 (5):971-994.details
|
|
Subformula and separation properties in natural deduction via small Kripke models: Subformula and separation properties.Peter Milne - 2010 - Review of Symbolic Logic 3 (2):175-227.details
|
|
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.details
|
|
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.details
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
(1 other version)Admissibility of structural rules for contraction-free systems of intuitionistic logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.details
|
|
Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.details
|
|
A Multimodal Pragmatic Treatment of the Knowability Paradox.Massimiliano Carrara, Daniele Chiffi & Davide Sergio - 2017 - In Gillman Payette & Rafał Urbaniak (eds.), Applications of Formal Philosophy: The Road Less Travelled. Cham, Switzerland: Springer International Publishing AG. pp. 195-209.details
|
|
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.details
|
|
On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.details
|
|
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.details
|
|
Intuitionistic hybrid logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.details
|
|
Glivenko sequent classes in the light of structural proof theory.Sara Negri - 2016 - Archive for Mathematical Logic 55 (3-4):461-473.details
|
|
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.details
|
|
(1 other version)Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.details
|
|
Atomic polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.details
|
|
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.details
|
|
The axiom of choice and combinatory logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.details
|
|
Grounding principles for (relevant) implication.Francesca Poggiolesi - 2020 - Synthese 198 (8):7351-7376.details
|
|
A dialogical route to logical pluralism.Rohan French - 2019 - Synthese 198 (Suppl 20):4969-4989.details
|
|
Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation, details
|
|
A cut-free sequent calculus for the logic od subset spaces.Birgit Elbl - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 268-287.details
|
|
Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 973--1052.details
|
|
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
Proof Complexity and Textual Cohesion.Eli Dresner - 2015 - Journal of Logic, Language and Information 24 (1):53-64.details
|
|
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.details
|
|