Nelson algebras, residuated lattices and rough sets: A survey

Journal of Applied Non-Classical Logics 34 (2):368-428 (2024)
  Copy   BIBTEX

Abstract

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
Topological duality for Nelson algebras and its application.Andrzej Sendlewski - 1984 - Bulletin of the Section of Logic 13 (4):215-219.
Fragments of Quasi-Nelson: The Algebraizable Core.Umberto Rivieccio - 2022 - Logic Journal of the IGPL 30 (5):807-839.

Analytics

Added to PP
2024-10-03

Downloads
3 (#1,867,272)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references