- In Quest of Universal Logic: A brief overview of formal logic's evolution.Arman Kashef - manuscriptdetails
- Prof. Kingfisher’s beautiful logic of problem-solving.Nine-Dollar Kingfisher - 2022 - Mindsponge Portal.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):105-129.details
- Normalisation for Bilateral Classical Logic with some Philosophical Remarks.Nils Kürbis - 2021 - Journal of Applied Logics 2 (8):531-556.details
- Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.Nils Kürbis - 2021 - Journal of Applied Logics 7 (8):2259-2261.details
- The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).details
- Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.details
- The accident of logical constants.Tristan Grøtvedt Haze - 2020 - Thought: A Journal of Philosophy 9 (1):34-42.details
- The Power of Logic, 6th edition.Daniel Howard-Snyder, Frances Howard-Snyder & Ryan Wasserman - 2020 - New York: McGraw-Hill.details
- Dynamic Non-Classicality.Matthew Mandelkern - 2020 - Australasian Journal of Philosophy 98 (2):382-392.details
- Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.details
- Question-Begging Arguments as Ones That Do Not Extend Knowledge.Rainer Ebert - 2019 - Philosophy and Progress 65 (1):125-144.details
- Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.details
- A Note on Carnap’s Result and the Connectives.Tristan Haze - 2019 - Axiomathes 29 (3):285-288.details
- Bilateralism, Independence and Coordination.Gonçalo Santos - 2018 - Teorema: International Journal of Philosophy 37 (1):23-27.details
- Wordmorph!: A Word Game to Introduce Natural Deduction.Ian Stoner - 2018 - Teaching Philosophy 41 (2):199-204.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. 284-298.details
- Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.details
- An Arithmetization of Logical Oppositions.Fabien Schang - 2016 - In Jean-Yves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Bâle, Suisse: pp. 215-237.details
- What is wrong with classical negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.details
- Inférences traditionelles comme n-lemmes.Gheorghe-Ilie Farte - 2014 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 12 (2):136-140.details
- Why Hypothetical Syllogism is Invalid for Indicative Conditionals.Moti Mizrahi - 2013 - Thought: A Journal of Philosophy 2 (1):40-43.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:51-71.details
- Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.details
- Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.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ño-Soto - 2008 - Mexico, DF, MEXICO: Author's edition.details
- Pluralism and the logical basis of metaphysics.N. Kurbis - 2007 - In Logica Yearbook.details
- Lista de distributividades y asociatividades posibles en lógica triproposicional.Gabriel Garduño-Soto - 2006 - Mexico DF, MEXICO: Author's edition.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):81-99.details
- forall x: An introduction to formal logic.P. D. Magnus - 2005 - Victoria, BC, Canada: 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
- Strong normalization of a symmetric lambda calculus for second-order classical logic.Yoriyuki Yamagata - 2002 - Archive for Mathematical Logic 41 (1):91-99.details
- Reasoning with Imperatives Using Classical Logic.Joseph S. Fulda - 1995 - Sorites 3:7-11.details
- Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.details
- Exclusive Disjunction and the Biconditional: An Even-Odd Relationship.Joseph S. Fulda - 1993 - Mathematics Magazine 66 (2):124.details
- Sistema Experto en Deducción Natural.Gabriel Garduño-Soto, David-René Thierry-García, Rafael Vidal-Uribe & Hugo Padilla-Chacó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):1-16.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
|
Off-campus access
Using PhilArchive from home?
Create an account to enable off-campus 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.
|