- The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
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
|
|
The axiom of choice and combinatory logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.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
|
|
Grounding principles for (relevant) implication.Francesca Poggiolesi - 2020 - Synthese 198 (8):7351-7376.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
|
|
A dialogical route to logical pluralism.Rohan French - 2019 - Synthese 198 (Suppl 20):4969-4989.details
|
|
Indirect Proof and Inversions of Syllogisms.Roy Dyckhoff - 2019 - Bulletin of Symbolic Logic 25 (2):196-207.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.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
|
|
Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation, details
|
|
Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.details
|
|
Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.details
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.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
|
|
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
|
|
Natural deduction for bi-intuitionistic logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.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
|
|
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
|
|
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
|
|
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.details
|
|
A Simple Sequent Calculus for Angell’s Logic of Analytic Containment.Rohan French - 2017 - Studia Logica 105 (5):971-994.details
|
|
On constructing a logic for the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2018 - Synthese 195 (3):1231-1254.details
|
|
Geometrisation of First-Order Logic.Roy Dyckhoff & Sara Negri - 2015 - Bulletin of Symbolic Logic 21 (2):123-163.details
|
|
Constructibility of the Universal Wave Function.Arkady Bolotin - 2016 - Foundations of Physics 46 (10):1253-1268.details
|
|
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.details
|
|
Glivenko sequent classes in the light of structural proof theory.Sara Negri - 2016 - Archive for Mathematical Logic 55 (3-4):461-473.details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
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
|
|
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.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
|
|
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.details
|
|
How to assign ordinal numbers to combinatory terms with polymorphic types.William R. Stirton - 2012 - Archive for Mathematical Logic 51 (5):475-501.details
|
|
Atomic polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.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
|
|
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
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
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
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Situations as indices and as denotations.Tim Fernando - 2009 - Linguistics and Philosophy 32 (2):185-206.details
|
|
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.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
|
|