 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
 Contradiction From the Fixed Point Lemma.T. Parent  manuscriptdetails
 Contradiction From a Coded Proof Predicate (Very Tentative Draft, Do Not Cite).T. Parent  manuscriptdetails
 Aristotle's Theory of the Assertoric Syllogism.Stephen Read  manuscriptdetails
 On the Notion of Validity for the Bilateral Classical Logic.Ukyo Suzuki & Yoriyuki Yamagata  manuscriptdetails
 Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder  forthcoming  Review of Symbolic Logic:144.details
 Normalisation and Subformula Property for a System of Classical Logic with Tarski’s Rule.Nils Kürbis  forthcoming  Archive for Mathematical Logic:125.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
 A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc  forthcoming  Studia Logica:138.details
 The (Greatest) Fragment of Classical Logic That Respects the VariableSharing Principle (in the FmlaFmla Framework).Damian E. Szmuc  forthcoming  Bulletin of the Section of Logic.details
 Takeuti's wellordering proofs revisited.Andrew Arana & Ryota Akiyoshi  2021  Mita Philosophy Society 3 (146):83110.details
 Normalisation for Bilateral Classical Logic with Some Philosophical Remarks.Nils Kürbis  2021  Journal of Applied Logics 2 (8):531556.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
 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
 From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard  2021  Australasian Journal of Logic 18 (2):5172.details
 Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis  2020  Logic and Logical Philosophy 30:1.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
 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
 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
 A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis  2019  Bulletin of the Section of Logic 48 (2):8197.details
 Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis  2019  Bulletin of the Section of Logic 48 (4):299317.details
 On the Arithmetical Truth of Self‐Referential Sentences.Kaave Lajevardi & Saeed Salehi  2019  Theoria 85 (1):817.details
 Automating Agential Reasoning: ProofCalculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel  2019  In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of MultiAgent Systems. 93413 Cham, Germany: Springer. pp. 202218.details
 CutFree Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel  2019  In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer International Publishing. pp. 803  819.details
 From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake  2018  In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120  139.details
 Is Incompatibilism Compatible with Fregeanism?Nils Kürbis  2018  European Journal of Analytic Philosophy 14 (2):2746.details
 Wordmorph!: A Word Game to Introduce Natural Deduction.Ian Stoner  2018  Teaching Philosophy 41 (2):199204.details
 Intertranslatability, Theoretical Equivalence, and Perversion.Jack Woods  2018  Thought: A Journal of Philosophy 7 (1):5868.details
 Rejection in Łukasiewicz's and Słupecki' Sense.Urszula WybraniecSkardowska  2018  LvovWarsaw School. Past and Present.details
 NonAnalytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach  2018  Australasian Journal of Logic 15 (3):609628.details
 On the Alleged Simplicity of Impure Proof.Andrew Arana  2017  In Roman Kossak & Philip Ording (eds.), Simplicity: Ideals of Practice in Mathematics and the Arts. pp. 207226.details
 The Changing Practices of Proof in Mathematics: Gilles Dowek: Computation, Proof, Machine. Cambridge: Cambridge University Press, 2015. Translation of Les Métamorphoses du Calcul, Paris: Le Pommier, 2007. Translation From the French by Pierre Guillot and Marion Roman, $124.00HB, $40.99PB.Andrew Arana  2017  Metascience 26 (1):131135.details
 Some Concerns Regarding TernaryRelation Semantics and TruthTheoretic Semantics in General.Ross T. Brady  2017  IfCoLog Journal of Logics and Their Applications 4 (3):755781.details
 Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth  2017  Logic and Logical Philosophy 26 (2).details
 When Structural Principles Hold Merely Locally.Ulf Hlobil  2017  In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 5367.details
 Against the Unrestricted Applicability of Disjunction Elimination.Marcel Jahn  2017  Rerum Causae 9 (2):92111.details
 Bilateralism: Negations, Implications and Some Observations and Problems About Hypotheses.Nils Kürbis  2017  In Thomas Piecha & Jean Fichot (eds.), Beyond Logic. Proceedings of the Conference held in CerisylaSalle, 2227 May 2017. Tübingen, Germany:details
 Natural Deduction for Diagonal Operators.Fabio Lampert  2017  In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 3951.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.
