 Computational Reverse Mathematics and Foundational Analysis.Benedict Eastaugh  manuscriptdetails
 The Power of Naive Truth.Hartry Field  manuscriptdetails
 A Decision Procedure for Herbrand Formulas Without Skolemization.Timm Lampert  manuscriptdetails
 Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.Carlo Nicolai  manuscriptdetails
 On the Notion of Validity for the Bilateral Classical Logic.Ukyo Suzuki & Yoriyuki Yamagata  manuscriptdetails
 Epistemic Modals in Hypothetical Reasoning.Maria Aloni, Luca Incurvati & Julian J. Schlöder  forthcoming  Erkenntnis:131.details
 Metainferences From a ProofTheoretic Perspective, and a Hierarchy of Validity Predicates.Rea Golan  forthcoming  Journal of Philosophical Logic 1:131.details
 MetaInferences and Supervaluationism.Luca Incurvati & Julian J. Schlöder  forthcoming  Journal of Philosophical Logic:134.details
 The Logic of the Evidential Conditional.Eric Raidl, Andrea Iacona & Vincenzo Crupi  forthcoming  Review of Symbolic Logic:113.details
 Against Harmony.Ian Rumfitt  forthcoming  In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.details
 An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc  forthcoming  Logic and Logical Philosophy:1.details
 Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter  forthcoming  Review of Symbolic Logic:128.details
 Epsilon Theorems in Intermediate Logics.Matthias Baaz & Richard Zach  2022  Journal of Symbolic Logic 87 (2):682720.details
 CutConditions on Sets of MultipleAlternative Inferences.Harold T. Hodes  2022  Mathematical Logic Quarterly 68 (1):95  106.details
 Normalisation and Subformula Property for a System of Classical Logic with Tarski’s Rule.Nils Kürbis  2022  Archive for Mathematical Logic 61 (1):105129.details
 Bilateral Inversion Principles.Nils Kürbis  2022  Electronic Proceedings in Theoretical Computer Science 358:202–215.details
 TwoSorted Frege Arithmetic is Not Conservative.Stephen Mackereth & Jeremy Avigad  2022  Review of Symbolic Logic:134.details
 Takeuti's wellordering proofs revisited.Andrew Arana & Ryota Akiyoshi  2021  Mita Philosophy Society 3 (146):83110.details
 Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu  2021  ACM Transactions on Computational Logic 22 (3):131.details
 OneStep Modal Logics, Intuitionistic and Classical, Part 2.Harold T. Hodes  2021  Journal of Philosophical Logic 50 (5):873910.details
 OneStep Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes  2021  Journal of Philosophical Logic 50 (5):837872.details
 Normalisation and Subformula Property for a System of Intuitionistic Logic with General Introduction and Elimination Rules.Nils Kürbis  2021  Synthese 199 (56):1422314248.details
 Normalisation for Bilateral Classical Logic with Some Philosophical Remarks.Nils Kürbis  2021  Journal of Applied Logics 2 (8):531556.details
 Note on 'Normalisation for Bilateral Classical Logic with Some Philosophical Remarks'.Nils Kürbis  2021  Journal of Applied Logics 7 (8):22592261.details
 Proof Theory and Semantics for a Theory of Definite Descriptions.Nils Kürbis  2021  In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842.details
 On the Correspondence Between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon  2021  Journal of Logic and Computation 31 (1):213265.details
 Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon  2021  Dissertation, Technischen Universität Wiendetails
 Nested Sequents for Intuitionistic Modal Logics Via Structural Refinement.Tim Lyon  2021  In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. 93413 Cham, Germany: pp. 409427.details
 A Note on Paradoxical Propositions From an Inferential Point of View.Ivo Pezlar  2021  In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183199.details
 ProofTheoretic Semantics and Inquisitive Logic.Will Stafford  2021  Journal of Philosophical Logic 50 (5):11991229.details
 A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc  2021  Studia Logica 109 (4):791828.details
 The (Greatest) Fragment of Classical Logic That Respects the VariableSharing Principle (in the FMLAFMLA Framework).Damian E. Szmuc  2021  Bulletin of the Section of Logic 50 (4):421453.details
 Imperative Bilateralism.Kai Tanter  2021  In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 237252.details
 The Varieties of OughtImpliesCan and Deontic STIT Logic.Kees van Berkel & Tim Lyon  2021  In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van De Putte (eds.), Deontic Logic and Normative Systems: 15th International Conference.details
 Sets, Logic, Computation: An Open Introduction to Metalogic.Richard Zach  2021  Open Logic Project.details
 From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard  2021  Australasian Journal of Logic 18 (2):5172.details
 Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder  2020  Review of Symbolic Logic:132.details
 Sketch of a ProofTheoretic Semantics for Necessity.Nils Kürbis  2020  In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 3743.details
 Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis  2020  Logic and Logical Philosophy 30:1.details
 On Deriving Nested Calculi for Intuitionistic Logics From Semantic Systems.Tim Lyon  2020  In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177194.details
 Syntactic Interpolation for Tense Logics and BiIntuitionistic Logic Via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston  2020  In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Dagstuhl, Germany: pp. 116.details
 On Rudimentarity, Primitive Recursivity and Representability.Saeed Salehi  2020  Reports on Mathematical Logic 55:73–85.details
 ProofTheoretic Semantics and the Interpretation of Atomic Sentences.Preston Stovall  2020  In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2019. Rickmansworth: College Publications. pp. 163178.details
 Theories of Truth Based on FourValued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos  2020  Logic Journal of the IGPL 28 (5):712746.details
 Takeuti's Proof Theory in the Context of the Kyoto School.Andrew Arana  2019  Jahrbuch Für Philosophie Das TetsugakuRonso 46:117.details
 Stoic Sequent Logic and Proof Theory.Susanne Bobzien  2019  History and Philosophy of Logic 40 (3):234265.details
 On ProofTheoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the PrawitzTennant Analysis.Seungrak Choi  2019  Dissertation, Korea Universitydetails
 Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics.Benedict Eastaugh  2019  Philosophia Mathematica 27 (2):153176.details
 A Note on Carnap’s Result and the Connectives.Tristan Haze  2019  Axiomathes 29 (3):285288.details
 Weak Assertion.Luca Incurvati & Julian J. Schlöder  2019  Philosophical Quarterly 69 (277):741770.details

Offcampus access
Using PhilArchive from home?
Create an account to enable offcampus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email

RSS feed

About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
