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 Szmuc  forthcoming  Logic and Logical Philosophy.details
added 20180711 Computational Reverse Mathematics and Foundational Analysis.Benedict Eastaugh  manuscriptdetails
added 20180619 Wordmorph!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 20180122 Aristotle's Theory of the Assertoric Syllogism.Stephen Read  manuscriptdetails
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 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 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 20170727 Frege's Begriffsschrift is Indeed FirstOrder Complete.Yang Liu  2017  History and Philosophy of Logic 38 (4):342344.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
added 20170402 Anything Goes.David Ripley  2015  Topoi 34 (1):2536.details
added 20170329 Harmony and Modality.Read Stephen  2008  In C. Dégremont, L. Kieff & H. Rückert (eds.), Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman. London: College Publications. pp. 285303.details
added 20170328 Contractions of Noncontractive Consequence Relations.Rohan French & David Ripley  2015  Review of Symbolic Logic 8 (3):506528.details
added 20170210 LP, K3, and FDE as Substructural Logics.Lionel Shapiro  2017  In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications.details
added 20170208 An Analytic Tableau System for Natural Logic.Reinhard Muskens  2010  In Maria Aloni, H. Bastiaanse, T. De Jager & Katrin Schulz (eds.), Logic, Language and Meaning. Springer. pp. 104113.details
added 20170207 Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth  2017  Logic and Logical Philosophy 26 (2).details
added 20170207 Copi's Method of Deduction.Frederick A. Johnson  1979  Notre Dame Journal of Formal Logic 20 (2):295300.details
added 20170206 New Directions in TypeTheoretic Grammars.Reinhard Muskens  2010  Journal of Logic, Language and Information 19 (2):129136.details
added 20170203 A Tableau Calculus for Partial Functions.Manfred Kerber Michael Kohlhase  unknowndetails
added 20170119 Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic.Richard Zach  1999  Bulletin of Symbolic Logic 5 (3):331366.details
added 20170116 A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco  2006  Journal of Applied Logic 4 (3):305330.details
added 20170115 Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value.John Corcoran  1971  Journal of Structural Learning 3 (2):116.details
added 20170115 Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof,.John Corcoran  1971  Journal of Structural Learning 3 (3):124.details
added 20161221 What is Wrong with Classical Negation?Nils Kürbis  2015  Grazer Philosophische Studien 92 (1):5186.details
added 20161102 Proofnets for S5: Sequents and Circuits for Modal Logic.Greg Restall  2007  In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151172.details
added 20161023 On Rules of Inference and the Meanings of Logical Constants.Panu Raatikainen  2008  Analysis 68 (4):282287.details
added 20160826 The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach  2006  Studia Logica 82 (1):133155.details
added 20160226 ProofTheoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad BenAvi  2010  Studia Logica 94 (3):381401.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.
