- Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.details
|
|
40 years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.details
|
|
Symposium: On What there is.P. T. Geach, A. J. Ayer & W. V. Quine - 1948 - Aristotelian Society Supplementary Volume 25 (1):125-160.details
|
|
Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.details
|
|
Two Dogmas of Empiricism.W. Quine - 1951 - [Longmans, Green].details
|
|
Theory of Logical Calculi, Basic Theory of Consequence Operations.Ryszard Wójcicki - 1991 - Studia Logica 50 (3):623-629.details
|
|
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.details
|
|
The Philosophy of Logical Atomism.Bertrand Russell - 1918 - In ¸ Iterussell1986. Open Court. pp. 193-210..details
|
|
The Philosophy of Logical Atomism.Bertrand Russell (ed.) - 1940 - Routledge.details
|
|
Truth and Paradox.Anil Gupta - 1981 - Journal of Philosophy 78 (11):735-736.details
|
|
Anti-exceptionalism about logic.Ole Thomassen Hjortland - 2017 - Philosophical Studies 174 (3):631-658.details
|
|
Connected components of definable groups, and o-minimality II.Annalisa Conversano & Anand Pillay - 2015 - Annals of Pure and Applied Logic 166 (7-8):836-849.details
|
|
Scientific method in philosophy.Bertrand Russell - 1914 - Oxford,: Clarendon press.details
|
|
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.details
|
|
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Modal meinongianism and fiction: The best of three worlds.Francesco Berto - 2011 - Philosophical Studies 152 (3):313-35.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Kleene's logic, generalized.Melvin Fitting - unknowndetails
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. New York: Oxford University Press. pp. 481-563.details
|
|
On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.details
|
|
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Arthur prior.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
Normalization theorems for full first order classical natural deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.details
|
|
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
Impossible Worlds.Francesco Berto & Mark Jago - 2019 - Oxford: Oxford University Press. Edited by Mark Jago.details
|
|
A Causal-Mentalist View of Propositions.Jeremiah Joven Joaquin & James Franklin - 2022 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 29 (1):47-77.details
|
|
Normalisation for Bilateral Classical Logic with some Philosophical Remarks.Nils Kürbis - 2021 - Journal of Applied Logics 2 (8):531-556.details
|
|
A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic.Gemma Robles & José M. Méndez - 2022 - Logic Journal of the IGPL 30 (1):21-33.details
|
|
Two Dogmas of Empiricism.W. V. O. Quine - 2011 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 202-220.details
|
|
Anti-Exceptionalism about Logic.Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):186.details
|
|
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.details
|
|
Strong Types for Direct Logic.Carl Hewitt - unknowndetails
|
|
Les paradoxes de la logique.B. Russell - 1906 - Revue de Métaphysique et de Morale 14 (5):627-650.details
|
|
What is Strict Implication?Ian Hacking - 1972 - Journal of Symbolic Logic 37 (2):417-417.details
|
|
Nominalism and Realism.David Armstrong - unknowndetails
|
|
Classifying torsion free groups in o-minimal expansions of real closed fields.Eliana Barriga & Alf Onshuus - 2016 - Annals of Pure and Applied Logic 167 (12):1267-1297.details
|
|
Does changing the subject from A to B really provide an enlarged understanding of A?John Woods - 2016 - Logic Journal of the IGPL 24 (4).details
|
|
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.Gemma Robles & José M. Méndez - 2016 - Logic Journal of the IGPL 24 (5).details
|
|
S7.Andrew David Irvine - 2013 - Journal of Applied Logic 11 (4):523-529.details
|
|
Frege on Number Properties.Andrew D. Irvine - 2010 - Studia Logica 96 (2):239-260.details
|
|
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.details
|
|
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.details
|
|
Completeness proofs for the systems RM3 and BN4.Ross T. Brady - 1982 - Logique Et Analyse 25 (97):9.details
|
|
C. I. Lewis. Emch's calculus and strict implication. The journal of symbolic logic, vol. 1 (1936), pp. 77–86.Jerzy Slupecki - 1937 - Journal of Symbolic Logic 2 (1):46-46.details
|
|