Studia Logica 103 (4):825-851 (2015)
Authors |
|
Abstract |
We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal logic of Béziau and the logic of classical implication and a paraconsistent de Morgan negation of Zaitsev
|
Keywords | First-degree entailment Belnap–Dunn logic Classical negation Many-valued logic Paraconsistency Paracompleteness Maximality |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s11225-014-9595-7 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
On the Theory of Inconsistent Formal Systems.Newton C. A. Da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Natural 3-Valued Logics—Characterization and Proof Theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
Formal Inconsistency and Evolutionary Databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
Can Contradictions Be True?Timothy Smiley & Graham Priest - 1993 - Aristotelian Society Supplementary Volume 67 (1):17 - 54.
View all 20 references / Add more references
Citations of this work BETA
Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
40 Years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.
A Fully Classical Truth Theory Characterized by Substructural Means.Federico Matías Pailos - 2020 - Review of Symbolic Logic 13 (2):249-268.
View all 11 citations / Add more citations
Similar books and articles
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Contradictory Information: Too Much of a Good Thing. [REVIEW]J. Michael Dunn - 2010 - Journal of Philosophical Logic 39 (4):425 - 452.
Functional Completeness and Axiomatizability Within Belnap's Four-Valued Logic and its Expansions.Alexej P. Pynko - 1999 - Journal of Applied Non-Classical Logics 9 (1):61-105.
CE is Not a Conservative Extension of E.Edwin D. Mares - 2000 - Journal of Philosophical Logic 29 (3):263-275.
From Bi-Facial Truth to Bi-Facial Proofs.Stefan Wintein & Reinhard A. Muskens - 2015 - Studia Logica 103 (3):545-558.
Axiomatizing Belnap's Conditional Assertion.J. Michael Dunn - 1975 - Journal of Philosophical Logic 4 (4):383 - 397.
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
Relevant Generalization Starts Here (and Here = 2).Dmitry Zaitsev & Oleg Grigoriev - 2010 - Logic and Logical Philosophy 19 (4):329-340.
Classical Negation and Game-Theoretical Semantics.Tero Tulenheimo - 2014 - Notre Dame Journal of Formal Logic 55 (4):469-498.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
A Consecutive Calculus for Positive Relevant Implication with Necessity.Nuel D. Belnap, Anil Gupta & J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (4):343-362.
Review: J. Michael Dunn, Anil Gupta, Truth or Consequences, Essays in Honor of Nuel Belnap. [REVIEW]Gerhard Schurz - 1996 - Journal of Symbolic Logic 61 (2):691-693.
Generalized Onrno Negation.J. Michael Dunn - 1996 - In H. Wansing (ed.), Negation: A Notion in Focus. W. De Gruyter. pp. 7--3.
Analytics
Added to PP index
2015-01-10
Total views
47 ( #211,529 of 2,403,526 )
Recent downloads (6 months)
1 ( #551,205 of 2,403,526 )
2015-01-10
Total views
47 ( #211,529 of 2,403,526 )
Recent downloads (6 months)
1 ( #551,205 of 2,403,526 )
How can I increase my downloads?
Downloads