added 20200324 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
added 20200324 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
added 20200324 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
added 20200205 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
added 20191229 The Power of Naive Truth.Hartry Field  manuscriptdetails
added 20191229 Syntactic CutElimination for Intuitionistic Fuzzy Logic Via Linear Nested Sequents.Tim Lyon  2020  In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 156176.details
added 20191229 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
added 20191207 A Note on Carnap’s Result and the Connectives.Tristan Haze  2019  Axiomathes 29 (3):285288.details
added 20191115 Against the Unrestricted Applicability of Disjunction Elimination.Marcel Jahn  2017  Rerum Causae 9 (2):92111.details
added 20191101 On the Notion of Validity for the Bilateral Classical Logic.Ukyo Suzuki & Yoriyuki Yamagata  manuscriptdetails
added 20191021 Takeuti's Proof Theory in the Context of the Kyoto School.Andrew Arana  2019  Jahrbuch Für Philosophie Das TetsugakuRonso 46:117.details
added 20191005 Frege's Begriffsschrift is Indeed FirstOrder Complete.Yang Liu  2017  History and Philosophy of Logic 38 (4):342344.details
added 20190916 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
added 20190819 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
added 20190510 Weak Assertion.Luca Incurvati & Julian J. Schlöder  2019  Philosophical Quarterly 69 (277):741770.details
added 20190405 Sets, Logic, Computation. An Open Introduction to Metalogic.Richard Zach  2017details
added 20190402 Rejection in Łukasiewicz's and Słupecki' Sense.Urszula WybraniecSkardowska  2018  LvovWarsaw School. Past and Present.details
added 20190402 On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency.Urszula WybraniecSkardowska  2016  Axioms 5 (15).details
added 20190330 Stoic Sequent Logic and Proof Theory.Susanne Bobzien  2019  History and Philosophy of Logic 40 (3):234265.details
added 20190328 Aristotle's Theory of the Assertoric Syllogism.Stephen Read  manuscriptdetails
added 20190222 Is Incompatibilism Compatible with Fregeanism?Nils Kürbis  2018  European Journal of Analytic Philosophy 14 (2):2746.details
added 20190131 Analytic Tableaux for All of SIXTEEN 3.Stefan Wintein & Reinhard Muskens  2015  Journal of Philosophical Logic 44 (5):473487.details
added 20190128 Aristotle's Syllogistic and Core Logic.Neil Tennant  2014  History and Philosophy of Logic 35 (2):120147.details
added 20180913 A ProofTheoretical View of Collective Rationality.Daniele Porello  2013  In Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013).details
added 20180908 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
added 20180828 A Calculus for Belnap's Logic in Which Each Proof Consists of Two Trees.Stefan Wintein & Reinhard Muskens  2012  Logique Et Analyse 220:643656.details
added 20180817 An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc  forthcoming  Logic and Logical Philosophy:1.details
added 20180711 Computational Reverse Mathematics and Foundational Analysis.Benedict Eastaugh  manuscriptdetails
added 20180619 Wordmorph!: A Word Game to Introduce Natural Deduction.Ian Stoner  2018  Teaching Philosophy 41 (2):199204.details
added 20180604 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
added 20180512 Proof Theory of FiniteValued Logics.Richard Zach  1993  Dissertation, Technische Universität Wiendetails
added 20180317 Theories of Truth Based on FourValued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos  forthcoming  Logic Journal of the IGPL.details
added 20180315 Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics.Benedict Eastaugh  forthcoming  Philosophia Mathematica.details
added 20180119 Teaching Logic to Blind Students.Patrick Girard & Jonathan McKeownGreen  manuscriptdetails
added 20180117 Intertranslatability, Theoretical Equivalence, and Perversion.Jack Woods  2018  Thought: A Journal of Philosophy 7 (1):5868.details
added 20171024 Natural Deduction for ThreeValued Regular Logics.Yaroslav Petrukhin  2017  Logic and Logical Philosophy 26 (2):197–206.details
added 20171013 Belief Dynamics: (Epistemo)Logical Investigations.Allard Tamminga  2001  Dissertation, University of Amsterdamdetails
added 20171010 Completeness of a Hypersequent Calculus for Some FirstOrder Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach  2006  In 36th International Symposium on Multiplevalued Logic. May 2006, Singapore. Proceedings. Los Alamitos: IEEE Press.details
added 20171010 Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach  2000  In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.details
added 20171010 Elimination of Cuts in FirstOrder FiniteValued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach  1994  Journal of Information Processing and Cybernetics EIK 29 (6):333355.details
added 20171010 Short Proofs of Tautologies Using the Schema of Equivalence.Matthias Baaz & Richard Zach  1994  In Egon Börger, Yuri Gurevich & Karl Meinke (eds.), Computer Science Logic. 7th Workshop, CSL '93, Swansea. Selected Papers. Berlin: Springer. pp. 3335.details
added 20171010 Algorithmic Structuring of CutFree Proofs.Matthias Baaz & Richard Zach  1993  In Egon Börger, Hans Kleine Büning, Gerhard Jäger, Simone Martini & Michael M. Richter (eds.), Computer Science Logic. CSL’92, San Miniato, Italy. Selected Papers. Berlin: Springer. pp. 29–42.details
added 20170908 A Decision Procedure for Herbrand Formulas Without Skolemization.Timm Lampert  manuscriptdetails
added 20170813 Dual Systems of Sequents and Tableaux for ManyValued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach  1993  Bulletin of the EATCS 51:192197.details
added 20170813 Systematic Construction of Natural Deduction Systems for ManyValued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach  1993  In Proceedings of The TwentyThird International Symposium on MultipleValued Logic, 1993. Los Alamitos, CA: IEEE Press. pp. 208213.details
added 20170720 Revisiting Dummett's ProofTheoretic Justification Procedures.Hermógenes Oliveira  2017  In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141155.details
added 20170701 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
added 20170609 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
added 20170520 A Technique for Determing Closure in Semantic Tableaux.Steven James Bartlett  1983  Methodology and Science: Interdisciplinary Journal for the Empirical Study of the Foundations of Science and Their Methodology 16 (1):116.details
added 20170424 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

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.
