- Logical objects and the paradox of burali-Forti.A. Hazen - 1986 - Erkenntnis 24 (3):283 - 291.details
|
|
The judgement-stroke as a truth-operator: A new interpretation of the logical form of sentences in Frege's scientific language.D. Greimann - 2000 - Erkenntnis 52 (2):213-238.details
|
|
(1 other version)Four simple systems of modal propositional logic.Gerald J. Massey - 1965 - Philosophy of Science 32 (3/4):342-355.details
|
|
Constructive assertions in an extension of classical mathematics.Vladimir Lifschitz - 1982 - Journal of Symbolic Logic 47 (2):359-387.details
|
|
(1 other version)The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.details
|
|
The meaning of mathematical expressions: Does philosophy shed any light on psychology?Paul Ernest - 1990 - British Journal for the Philosophy of Science 41 (4):443-460.details
|
|
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
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
Did Frege believe Frege's principle?Francis Jeffry Pelletier - 2001 - Journal of Logic, Language and Information 10 (1):87-114.details
|
|
The Decision Problem for Effective Procedures.Nathan Salmón - 2023 - Logica Universalis 17 (2):161-174.details
|
|
Effective Procedures.Nathan Salmon - 2023 - Philosophies 8 (2):27.details
|
|
A Pragmatic-Semiotic Defence of Bivalence.Marc Champagne - 2022 - History and Philosophy of Logic 43 (2):143-157.details
|
|
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.details
|
|
A Modest Logic of Plurals.Alex Oliver & Timothy Smiley - 2006 - Journal of Philosophical Logic 35 (3):317-348.details
|
|
The decision problem for formulas with a small number of atomic subformulas.Harry R. Lewis & Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):471-480.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Unification in first-order transitive modal logic.Wojciech Dzik & Piotr Wojtylak - forthcoming - Logic Journal of the IGPL.details
|
|
How many premises can an argument have?G. C. Goddu - unknowndetails
|
|
The A-Theory of Time, The B-Theory of Time, and ‘Taking Tense Seriously’.Dean W. Zimmerman - 2005 - Dialectica 59 (4):401-457.details
|
|
(1 other version)Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Mathematical Logic Quarterly 22 (1):169-176.details
|
|
On Harrop disjunction property in intermediate predicate logics.Katsumasa Ishii - 2023 - Archive for Mathematical Logic 63 (3):317-324.details
|
|
Unification in superintuitionistic predicate logics and its applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.details
|
|
(1 other version)The Logic of Calculation.John T. Kearns - 1977 - Mathematical Logic Quarterly 23 (1-6):45-58.details
|
|
(1 other version)An Extension of the Notion of Relativization to Hilbert's ε-Symbol.Masazumi Hanazawa - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (31):491-496.details
|
|