- (2 other versions)Études sur les règles d'inférence dites règles de Gentzen.Hugues Leblanc - 1963 - Dialogue 1 (4):355-367.details
|
|
(1 other version)A formal system of logic.Hao Wang - 1950 - Journal of Symbolic Logic 15 (1):25-32.details
|
|
An Argument for Existentialism.Yannis Stephanou - 2020 - Acta Analytica 35 (4):507-520.details
|
|
On Euclidean diagrams and geometrical knowledge.Tamires Dal Magro & Manuel J. García-Pérez - 2019 - Theoria. An International Journal for Theory, History and Foundations of Science 34 (2):255.details
|
|
Two Syllogisms in the Mozi: Chinese Logic and Language.Byeong-uk Yi - 2019 - Review of Symbolic Logic 12 (3):589-606.details
|
|
Frege’s Unmanageable Thing.Michael Price - 2018 - Grazer Philosophische Studien 95 (3):368-413.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Modus Ponens and Derivation from Horn Formulas.William Craig - 1967 - Mathematical Logic Quarterly 13 (3-5):33-54.details
|
|
The logic of partitions: Introduction to the dual of the logic of subsets: The logic of partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
(1 other version)Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Four Ways from Universal to Particular: How Chomsky's Language-Acquisition Faculty is Not Selectionist.David Ellerman - 2016 - Journal of Applied Non-Classical Logics 3 (26):193-207.details
|
|
(1 other version)The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.details
|
|
Evading the Slingshot.John Perry - 1996 - In J. Ezquerro A. Clark (ed.), Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning. Kluwer Academic Publishers.details
|
|
An Introduction to Subjective Facts: Readings in From Brain to Cosmos.Mark F. Sharlow - manuscriptdetails
|
|
American Postulate Theorists and Alfred Tarski.Michael Scanlan - 2003 - History and Philosophy of Logic 24 (4):307-325.details
|
|
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.details
|
|
(1 other version)Information recovery problems.John Corcoran - 1995 - Theoria 10 (3):55-78.details
|
|
(1 other version)Aristotle's Prior Analytics and Boole's Laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.details
|
|
(1 other version)The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.details
|
|
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.details
|
|
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.details
|
|
Comparison of Russell's resolution of the semantical antinomies with that of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.details
|
|
An axiomatic version of positive semilattice relevance logic.G. Charlwood - 1981 - Journal of Symbolic Logic 46 (2):233-239.details
|
|
Existential graphs as an instrument of logical analysis: Part I. alpha.Francesco Bellucci & Ahti-Veikko Pietarinen - 2016 - Review of Symbolic Logic 9 (2):209-237.details
|
|
Aristotle: an ancient mathematical logician.George Boger - unknowndetails
|
|
(1 other version)Funkce–Procedura–Konstrukce.Pavel Materna - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):283-305.details
|
|
Personal Identity and Subjective Time: Readings in From Brain to Cosmos.Mark F. Sharlow - manuscriptdetails
|
|
Gödel on Concepts.Gabriella Crocco - 2006 - History and Philosophy of Logic 27 (2):171-191.details
|
|
Notes on the art of logic.Nuel Belnap - manuscriptdetails
|
|
(1 other version)Sentences true in all constructive models.R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (1):39-53.details
|
|
(1 other version)Non-standard models for formal logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.details
|
|
Plural descriptions and many-valued functions.Alex Oliver & Timothy Smiley - 2005 - Mind 114 (456):1039-1068.details
|
|
Disagreement and Conceptual Understanding.Gurpreet Rattan - 2018 - Theoria 84 (2):179-210.details
|
|
(1 other version)A Strong Completeness Theorem for Pragmatics.Daniel Vanderveken - 1981 - Mathematical Logic Quarterly 27 (8‐10):151-160.details
|
|
(1 other version)The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Gottlob Frege.Kevin C. Klement - 2001 - Internet Encyclopedia of Philosophy.details
|
|
A note on finite axiomatization of partial propositional calculi.W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (3):352-354.details
|
|
Prefix classes of Krom formulas.Stål O. Aanderaa & Harry R. Lewis - 1973 - Journal of Symbolic Logic 38 (4):628-642.details
|
|
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.details
|
|
Files for Fiction.Eleonora Orlando - 2017 - Acta Analytica 32 (1):55-71.details
|
|
Knowledge of How Things Seem to You: Readings in From Brain to Cosmos.Mark F. Sharlow - manuscriptdetails
|
|
Semantics for relevant logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.details
|
|
The importance of nonexistent objects and of intensionality in mathematics.Richard Sylvan - 2003 - Philosophia Mathematica 11 (1):20-52.details
|
|
On the Reality of Existence and Identity.Ian Hacking - 1978 - Canadian Journal of Philosophy 8 (4):613 - 632.details
|
|
All or none; A novel choice of primitives for elementary logic.R. H. Thomason & H. Leblanc - 1967 - Journal of Symbolic Logic 32 (3):345-351.details
|
|