We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Negation-free definitions of paraconsistency

Abstract: Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent. In this article, we ask whether a negation operator is essential for describing paraconsistency. In other words, is it possible to describe a notion of paraconsistency that is independent of connectives? We present two such notions of negation-free paraconsistency, one that is completely independent of connectives and another that uses a conjunction-like binary connective that we call fusion. We also derive a notion of quasi-negation from the former, and investigate its properties.
Comments: 10 pages. A version of this paper has been submitted to NCL'22 (Non-Classical Logics. Theory and Applications 2022)
Subjects: Logic (math.LO)
MSC classes: 03B22, 03B53,
Cite as: arXiv:2112.00357 [math.LO]
  (or arXiv:2112.00357v1 [math.LO] for this version)

Submission history

From: Sankha Basu [view email]
[v1] Wed, 1 Dec 2021 09:10:57 GMT (10kb)

Link back to: arXiv, form interface, contact.