- Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.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
|
|
The Paradox of Kleene and Rosser.Haskell B. Curry - 1946 - Journal of Symbolic Logic 11 (4):136-137.details
|
|
Maximal compact subgroups in the o-minimal setting.Annalisa Conversano - 2013 - Journal of Mathematical Logic 13 (1):1350004.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
|
|
The Berry paradox.G. J. Chaitin - 1995 - Complexity 1 (1):26-30.details
|
|
A note on the regular and irregular modal systems of Lewis.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (2):109-113.details
|
|
Modal meinongianism and fiction: The best of three worlds.Francesco Berto - 2011 - Philosophical Studies 152 (3):313-35.details
|
|
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
|
|
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics.Arnon Avron, Jonathan Ben-Naim & Beata Konikowska - 2007 - Logica Universalis 1 (1):41-70.details
|
|
Logic and the world.Joseph Almog - 1989 - Journal of Philosophical Logic 18 (2):197 - 220.details
|
|
O-Minimal Spectra, Infinitesimal Subgroups and Cohomology.Alessandro Berarducci - 2007 - Journal of Symbolic Logic 72 (4):1177 - 1193.details
|
|
Impossible Worlds.Francesco Berto & Mark Jago - 2019 - Oxford: Oxford University Press. Edited by Mark Jago.details
|
|
Scientific method in philosophy.Bertrand Russell - 1914 - Oxford,: Clarendon press.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
The Philosophy of Logical Atomism.Bertrand Russell - 1918 - In ¸ Iterussell1986. Open Court. pp. 193-210..details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Kleene's logic, generalized.Melvin Fitting - unknowndetails
|
|
Two Dogmas of Empiricism.W. Quine - 1951 - [Longmans, Green].details
|
|
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.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
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Normalization theorems for full first order classical natural deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.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
|
|
Heterologicality.Gilbert Ryle - 1950 - Analysis 11 (3):61 - 69.details
|
|
On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.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
|
|
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
|
|
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
|
|
One-dimensional groups over an o-minimal structure.Vladimir Razenj - 1991 - Annals of Pure and Applied Logic 53 (3):269-277.details
|
|
40 years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.details
|
|
Aristotle's thesis in consistent and inconsistent logics.Chris Mortensen - 1984 - Studia Logica 43 (1-2):107 - 116.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
|
|
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
|
|
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.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
|
|
Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.details
|
|
Anti-Exceptionalism about Logic.Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):186.details
|
|
Anti-exceptionalism about logic.Ole Thomassen Hjortland - 2017 - Philosophical Studies 174 (3):631-658.details
|
|
Paradoxes of grounding in semantics.Hans G. Herzberger - 1970 - Journal of Philosophy 67 (6):145-167.details
|
|
What is Strict Implication?Ian Hacking - 1972 - Journal of Symbolic Logic 37 (2):417-417.details
|
|
Truth and Paradox.Anil Gupta - 1981 - Journal of Philosophy 78 (11):735-736.details
|
|
The Philosophy of Logical Atomism.Bertrand Russell (ed.) - 1940 - Routledge.details
|
|
Ryle on Namely-Riders.P. T. Geach - 1960 - Analysis 21 (3):64-67.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
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|