- Subformula and separation properties in natural deduction via small Kripke models: Subformula and separation properties.Peter Milne - 2010 - Review of Symbolic Logic 3 (2):175-227.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.details
|
|
¿qué Tan Matemática Es La Lógica Matemática?Axel Barceló Aspeitia - 2003 - Dianoia 48 (51):3-28.details
|
|
Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 11--29.details
|
|
The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)On subsystems of the system J1 of Arruda and Da Costa.Igor Urbas - 1990 - Mathematical Logic Quarterly 36 (2):95-106.details
|
|
(1 other version)Wittgenstein & Paraconsistência.João Marcos - 2010 - Principia: An International Journal of Epistemology 14 (1):135-73.details
|
|
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Combinatory logic.Katalin Bimbó - 2009 - Stanford Encyclopedia of Philosophy.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
Notes on the art of logic.Nuel Belnap - manuscriptdetails
|
|
Philosophical reflections on the foundations of mathematics.Jocelyne Couture & Joachim Lambek - 1991 - Erkenntnis 34 (2):187 - 209.details
|
|
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.details
|
|
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.details
|
|
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.details
|
|
Paraconsistent modal logics.Umberto Rivieccio - 2011 - Electronic Notes in Theoretical Computer Science 278:173-186.details
|
|
El Tractatus al rescate de Principia Mathematica: Ramsey y los fundamentos logicistas de las matemáticas.Emilio Méndez Pinto - 2022 - Critica 54 (161):43-69.details
|
|
Reconstructing the Unity of Mathematics circa 1900.David J. Stump - 1997 - Perspectives on Science 5 (3):383-417.details
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - Dordrecht, Netherland: Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - manuscriptdetails
|
|
Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Proof that Wittgenstein is correct about Gödel.P. Olcott - manuscriptdetails
|
|
Deductively Sound Formal Proofs.P. Olcott - manuscriptdetails
|
|
(1 other version)Philosophy of Logic – Reexamining the Formalized Notion of Truth.P. Olcott - manuscriptdetails
|
|
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.details
|
|
„Kauza Afthonios“: Ilustrácia k otázke správneho riešenia antických paradoxov.Vladimir Marko - 2014 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 1 (20):88-103.details
|
|
(1 other version)Towards a Formal Ontology of Information. Selected Ideas of K. Turek.Roman Krzanowski - 2016 - Zagadnienia Filozoficzne W Nauce 61:23-52.details
|
|
Negative Equivalence of Extensions of Minimal Logic.Sergei P. Odintsov - 2004 - Studia Logica 78 (3):417-442.details
|
|
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.details
|
|
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.details
|
|
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)The Cogito Paradox.Arnold Cusmariu - forthcoming - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences.details
|
|
Negation in the language of theology – some issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.details
|
|
The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.details
|
|
Variations on da Costa C systems and dual-intuitionistic logics I. analyses of cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.details
|
|
Normalization and excluded middle. I.Jonathan P. Seldin - 1989 - Studia Logica 48 (2):193 - 217.details
|
|
More triviality.Richard Bradley - 1999 - Journal of Philosophical Logic 28 (2):129-139.details
|
|
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.details
|
|
On Relative Principal Congruences in Term Quasivarieties.Hernán Javier San Martín - 2022 - Studia Logica 110 (6):1465-1491.details
|
|
Subminimal Negation on the Australian Plan.Selcuk Kaan Tabakci - 2022 - Journal of Philosophical Logic 51 (5):1119-1139.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
On Structural Features of the Implication Fragment of Frege’s Grundgesetze.Andrew Tedder - 2017 - Journal of Philosophical Logic 46 (4):443-456.details
|
|
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.details
|
|
(1 other version)Propositional quantifiers.Dorothy L. Grover - 1972 - Journal of Philosophical Logic 1 (2):111 - 136.details
|
|
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.details
|
|