- Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer. pp. 367-387.details
|
|
The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition.Gregory Landini - 2013 - History and Philosophy of Logic 34 (1):79-97.details
|
|
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.details
|
|
Logic in Russell's Principles of Mathematics.Gregory Landini - 1996 - Notre Dame Journal of Formal Logic 37 (4):554-584.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.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
|
|
"If-then" as a version of "Implies".Matheus Silva - manuscriptdetails
|
|
Frege and the Logic of Sense and Reference.Kevin C. Klement - 2001 - New York: Routledge.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
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
|
|
Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication.Francine F. Abeles - 2014 - History and Philosophy of Logic 35 (1):1-14.details
|
|
(1 other version)Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.details
|
|
Russell on Negative Judgement.Anssi Korhonen - 2020 - Topoi 39 (3):727-742.details
|
|
(1 other version)Comments on Stevens' Review of The Cambridge Companion and Anellis on Truth-Tables.I. Grattan-Guinness - 2004 - Russell: The Journal of Bertrand Russell Studies 24 (2).details
|
|
The Latest Frege.Nikolay Milkov - 1999 - Prima Philosophia 12:41-48.details
|
|
Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.details
|
|
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.details
|
|
Hegel and the Consequentia Mirabilis.Elena Ficara - 2018 - History and Philosophy of Logic 39 (4):357-364.details
|
|
Modes and Levels of Perplexity [review of John Ongley and Rosalind Carey, Russell: a Guide for the Perplexed ].I. Grattan-Guinness - 2013 - Russell: The Journal of Bertrand Russell Studies 33 (2):173-177.details
|
|
Russell's Early Theory of Denoting.David Bostock - 2009 - History and Philosophy of Logic 30 (1):49-67.details
|
|
Lesniewski and Russell's paradox: Some problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.details
|
|
Merkitys, totuus ja kielto.Panu Raatikainen - 2004 - In Heta Gylling, S. Albert Kivinen & Risto Vilkko (eds.), Kielto. Helsinki University Press.details
|
|
Russell, Frege, and the nature of implication.Judy Pelham - 1999 - Topoi 18 (2):175-184.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
|
|
On Jan Łukasiewicz's ‘The Principle of Contradiction and Symbolic Logic’.Adam Trybus & Bernard Linsky - 2020 - History and Philosophy of Logic 41 (2):183-190.details
|
|