- Logics with disjunction and proof by cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.details
|
|
Currying Omnipotence: A Reply to Beall and Cotnoir.Andrew Tedder & Guillermo Badia - 2018 - Thought: A Journal of Philosophy 7 (2):119-121.details
|
|
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.details
|
|
Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.details
|
|
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.details
|
|
Disquotation and Infinite Conjunctions.Thomas Schindler & Lavinia Picollo - 2017 - Erkenntnis 83 (5):899-928.details
|
|
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information: Positive logic with adjoint modalities.Mehrnoosh Sadrzadeh - 2010 - Review of Symbolic Logic 3 (3):351-373.details
|
|
Contraction and closure.David Ripley - 2015 - Thought: A Journal of Philosophy 4 (2):131-138.details
|
|
Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.details
|
|
Notes on Stratified Semantics.Shay Allen Logan - 2019 - Journal of Philosophical Logic 48 (4):749-786.details
|
|
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments.Stepan Kuznetsov, Valentina Lugovaya & Anastasiia Ryzhova - 2019 - Logic Journal of the IGPL 27 (3):252-266.details
|
|
Investigations into a left-structural right-substructural sequent calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.details
|
|
Necessary Truths are Just True: A Reply to Rossberg.Michael Hughes - 2014 - Thought: A Journal of Philosophy 3 (4):321-331.details
|
|
Book review. [REVIEW]John Hale - 2007 - Journal of Logic, Language and Information 16 (2):217-220.details
|
|
Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.details
|
|
The logic of partitions: Introduction to the dual of the logic of subsets: The logic of partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.details
|
|
Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.details
|
|
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
The concept of relevance and the logic diagram tradition.Jan Dejnožka - 2010 - Logica Universalis 4 (1):67-135.details
|
|
Tolerant reasoning: nontransitive or nonmonotonic?Pablo Cobreros, Paul Egré, Dave Ripley & Robert van Rooij - 2017 - Synthese 199 (Suppl 3):681-705.details
|
|
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.details
|
|
Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.details
|
|
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.details
|
|
Symmetric generalized galois logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.details
|
|
Where the Paths Meet: Remarks on Truth and Paradox.Jc Beall - 2008 - Midwest Studies in Philosophy 32 (1):169-198.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
|
|
NL λ as the Logic of Scope and Movement.Chris Barker - 2019 - Journal of Logic, Language and Information 28 (2):217-237.details
|
|
On Sahlqvist Formulas in Relevant Logic.Guillermo Badia - 2018 - Journal of Philosophical Logic 47 (4):673-691.details
|
|