 Normalisation and Subformula Property for a System of Classical Logic with Tarski’s Rule.Nils Kürbis  forthcoming  Archive for Mathematical Logic:125.details
 Normalisation for Bilateral Classical Logic with Some Philosophical Remarks.Nils Kürbis  2021  Journal of Applied Logics 2 (8):531556.details
 Traits essentiels d'une formalisation adéquate.GheorgheIlie Farte  2020  Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163174.details
 The Power of Logic, 6th Edition.Daniel HowardSnyder, Frances HowardSnyder & Ryan Wasserman  2020  New York: McGrawHill.details
 Stoic Sequent Logic and Proof Theory.Susanne Bobzien  2019  History and Philosophy of Logic 40 (3):234265.details
 TwoSided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker  2019  Teaching Philosophy 42 (1):4156.details
 A Note on Carnap’s Result and the Connectives.Tristan Haze  2019  Axiomathes 29 (3):285288.details
 Bilateralism, Independence and Coordination.Gonçalo Santos  2018  Teorema: International Journal of Philosophy 37 (1):2327.details
 Wordmorph!: A Word Game to Introduce Natural Deduction.Ian Stoner  2018  Teaching Philosophy 41 (2):199204.details
 On the Concept of a Notational Variant.Alexander W. Kocurek  2017  In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284298.details
 Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis  2017  Logique Et Analyse 60 (239):301316.details
 An Arithmetization of Logical Oppositions.Fabien Schang  2016  In JeanYves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Bâle, Suisse: pp. 215237.details
 What is Wrong with Classical Negation?Nils Kürbis  2015  Grazer Philosophische Studien 92 (1):5186.details
 Inférences traditionelles comme nlemmes.GheorgheIlie Farte  2014  Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 12 (2):136140.details
 Why Hypothetical Syllogism is Invalid for Indicative Conditionals.Moti Mizrahi  2013  Thought: A Journal of Philosophy 2 (1):4043.details
 What's Wrong with Logic?Rani Lill Anjum  2012  Argumentos 4 (8).details
 Austinian Ifs Revisited – And Squared Away with the Equivalence Thesis and the Theory of Conditional Elements.Joseph S. Fulda  2012  RASK 36:5171.details
 Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods  2012  Thought: A Journal of Philosophy 1 (4):281291.details
 Are Necessary and Sufficient Conditions Converse Relations?Gilberto Gomes  2009  Australasian Journal of Philosophy 87 (3):375 – 387.details
 Three Dogmas of 'If'.Rani Lill Anjum  2008  In A. Leirfall & T. Sandmel (eds.), Enhet i Mangfold. Unipub.details
 Opuscula Logica. 2. The Tripropositional Bivalent Level (3L2) and its Relationship with the Aristotelic Syllogistic.Gabriel GarduñoSoto  2008  Mexico, DF, MEXICO: Author's edition.details
 Pluralism and the Logical Basis of Metaphysics.N. Kurbis  2007  In Logica Yearbook.details
 If A, Then B Too, but Only If C: A Reply to Varzi.Gilberto Gomes  2006  Analysis 66 (2):157–161.details
 Tableaux sin refutación.Tomás Barrero & Walter Carnielli  2005  Matemáticas: Enseñanza Universitaria 13 (2):8199.details
 Forall X: An Introduction to Formal Logic.P. D. Magnus  2005  State University of New York Oer Services.details
 Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero  2004  Dissertation, Universidade Estadual de Campinasdetails
 Reasoning with Imperatives Using Classical Logic.Joseph S. Fulda  1995  Sorites 3:711.details
 Logics of Rejection: Two Systems of Natural Deduction.Allard Tamminga  1994  Logique Et Analyse 146:169208.details
 Exclusive Disjunction and the Biconditional: An EvenOdd Relationship.Joseph S. Fulda  1993  Mathematics Magazine 66 (2):124.details
 Sistema Experto en Deducción Natural.Gabriel GarduñoSoto, DavidRené ThierryGarcía, Rafael VidalUribe & Hugo PadillaChacón  1990  Dissertation, National Autonomus University of Mexicodetails
 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
 VALIDITY: A Learning Game Approach to Mathematical Logic.Steven James Bartlett  1973, 1974, 2014  Hartford, CT: Lebon Press.details
 Proofs Are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler  manuscriptdetails

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.
