- Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.details
|
|
The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.details
|
|
About some symmetries of negation.Brigitte Hösli & Gerhard Jäger - 1994 - Journal of Symbolic Logic 59 (2):473-485.details
|
|
Strength and Stability.Paula Teijeiro - 2021 - Análisis Filosófico 41 (2):337-349.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
(I can’t get no) antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2020 - Synthese 198 (9):8251-8265.details
|
|
Classical Logic and the Strict Tolerant Hierarchy.Chris Scambler - 2020 - Journal of Philosophical Logic 49 (2):351-370.details
|
|
A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.details
|
|
Suszko’s problem: Mixed consequence and compositionality.Emmanuel Chemla & Paul Égré - 2019 - Review of Symbolic Logic 12 (4):736-767.details
|
|
What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Walter Carnielli & Jacek Malinowski (eds.), Contradictions, from Consistency to Inconsistency. Cham, Switzerland: Springer.details
|
|
P-consequence versus q-consequence operations.Szymon Frankowski - 2004 - Bulletin of the Section of Logic 33 (4):197-207.details
|
|
Gentzen's cut-free calculus versus the logic of paradox.Alexej P. Pynko - 2010 - Bulletin of the Section of Logic 39 (1/2):35-42.details
|
|
Tolerance and Mixed Consequence in the S'valuationist Setting.Pablo Cobreros, Paul Egré, David Ripley & Robert Rooij - 2012 - Studia Logica 100 (4):855-877.details
|
|
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.details
|
|
Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.details
|
|
(1 other version)ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 383-407.details
|
|
A family of metainferential logics.Federico Matias Pailos - 2019 - Journal of Applied Non-Classical Logics 29 (1):97-120.details
|
|
(1 other version)Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.details
|
|
(1 other version)Principles of Mathematical Logic.D. Hilbert, W. Ackermann, L. M. Hammond, G. G. Leckie, F. Steinhardt & R. E. Luce - 1952 - British Journal for the Philosophy of Science 2 (8):332-333.details
|
|
Structural Reflexivity and the Paradoxes of Self-Reference.Rohan French - 2016 - Ergo: An Open Access Journal of Philosophy 3.details
|
|
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.details
|
|
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.details
|
|
Formalization of a plausible inference.Szymon Frankowski - 2004 - Bulletin of the Section of Logic 33 (1):41--52.details
|
|
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.details
|
|
(1 other version)Principles of Mathematical Logic.D. Hilbert, W. Ackermann & Robert E. Luce - 1952 - Philosophy 27 (103):375-376.details
|
|
Schroeder's Die Operationskreis des Logikkalkuls. [REVIEW]C. A. Foley - 1878 - Mind 3:252.details
|
|
Q-consequence operation.Grzegorz Malinowski - 1990 - Reports on Mathematical Logic 24 (1):49--59.details
|
|
(1 other version)ST, LP and tolerant metainferences.Bogdan Dicher & Francesco Paoli - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag.details
|
|