Priestley Duality for Paraconsistent Nelson’s Logic

Studia Logica 96 (1):65-93 (2010)
  Copy   BIBTEX


The variety of N4? -lattices provides an algebraic semantics for the logic N4?, a version of Nelson 's logic combining paraconsistent strong negation and explosive intuitionistic negation. In this paper we construct the Priestley duality for the category of N4?-lattices and their homomorphisms. The obtained duality naturally extends the Priestley duality for Nelson algebras constructed by R. Cignoli and A. Sendlewski.



    Upload a copy of this work     Papers currently archived: 94,452

External links

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

Through your library


Added to PP

41 (#384,416)

6 months
11 (#350,042)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dualities for modal N4-lattices.R. Jansana & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (4):608-637.
Priestley Duality for Bilattices.A. Jung & U. Rivieccio - 2012 - Studia Logica 100 (1-2):223-252.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Constructive Negations and Paraconsistency.Sergei Odintsov - 2008 - Dordrecht, Netherland: Springer.

View all 13 references / Add more references