- Negative Equivalence of Extensions of Minimal Logic.Sergei P. Odintsov - 2004 - Studia Logica 78 (3):417-442.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
|
|
Verification, falsification, and the logic of enquiry.Peter Milne - 1991 - Erkenntnis 34 (1):23 - 54.details
|
|
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
|
|
Sentential constants in R and r⌝.Robert K. Meyer - 1986 - Studia Logica 45 (3):301 - 327.details
|
|
Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.details
|
|
⊃E is Admissible in “true” relevant arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327 - 351.details
|
|
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.details
|
|
On meaningfulness and truth.BrianEdison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433-482.details
|
|
On Meaningfulness and Truth.Brian Edison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433 - 482.details
|
|
Wittgenstein & Paraconsistência.João Marcos - 2010 - Principia: An International Journal of Epistemology 14 (1):135-73.details
|
|
Logical constants.John MacFarlane - 2008 - Mind.details
|
|
A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.details
|
|
Strategic Maneuvering in Mathematical Proofs.Erik C. W. Krabbe - 2008 - Argumentation 22 (3):453-468.details
|
|
Noncumulative dialectical models and formal dialectics.Erik C. W. Krabbe - 1985 - Journal of Philosophical Logic 14 (2):129 - 168.details
|
|
Ein entscheidungsverfahren für den lewisschen modalkalkül S 4.Rainer Krauskope - 1969 - Mathematical Logic Quarterly 15 (13‐15):193-210.details
|
|
Ein Entscheidungsverfahren Für den Lewisschen Modalkalkül s 4.Rainer Krauskope - 1969 - Mathematical Logic Quarterly 15 (13-15):193-210.details
|
|
A theory of modal dialectics.Erik C. W. Krabbe - 1986 - Journal of Philosophical Logic 15 (2):191 - 217.details
|
|
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.details
|
|
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.details
|
|
A Cut-Elimination Proof in Positive Relevant Logic with Necessity.Mirjana Ilić - 2020 - Studia Logica 109 (3):607-638.details
|
|
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.details
|
|
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.details
|
|
Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau).Lloyd Humberstone - 2005 - Theoria 71 (3):241-262.details
|
|
Bounds for cut elimination in intuitionistic propositional logic.Jörg Hudelmaier - 1992 - Archive for Mathematical Logic 31 (5):331-353.details
|
|
A Logical Analysis of the Main Argument in Chapter 2 of the Proslogion by Anselm of Canterbury.Peter Hinst - 2014 - History of Philosophy & Logical Analysis 17 (1):22-44.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
|
|
Propositional quantifiers.Dorothy L. Grover - 1972 - Journal of Philosophical Logic 1 (2):111 - 136.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
Reply to Belot, Elgin, and Horsten. [REVIEW]Bas C. van Fraassen - 2010 - Philosophical Studies 150 (3):461 - 472.details
|
|
Quantification as an act of mind.Bas C. Fraassen - 1982 - Journal of Philosophical Logic 11 (3):343 - 369.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.details
|
|
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.details
|
|
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.details
|
|
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic.Kosta Došen - 1981 - Journal of Philosophical Logic 10 (4):399 - 408.details
|
|
The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
Paraconsistent modal logics.Umberto Rivieccio - 2011 - Electronic Notes in Theoretical Computer Science 278:173-186.details
|
|
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Combinatory logic.Katalin Bimbó - 2009 - Stanford Encyclopedia of Philosophy.details
|
|
Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 11--29.details
|
|
The Cogito Paradox.Arnold Cusmariu - forthcoming - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Negation in the language of theology – some issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.details
|
|
Notes on the art of logic.Nuel Belnap - manuscriptdetails
|
|
The Theory of Relations, Complex Terms, and a Connection Between λ and ε Calculi.Edward N. Zalta - manuscriptdetails
|
|
Towards a Formal Ontology of Information. Selected Ideas of K. Turek.Roman Krzanowski - 2016 - Zagadnienia Filozoficzne W Nauce 61:23-52.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
|
|