Priestley Duality for Paraconsistent Nelson’s Logic

摘要

The variety of -lattices provides an algebraic semantics for the logic , 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 -lattices and their homomorphisms. The obtained duality naturally extends the Priestley duality for Nelson algebras constructed by R. Cignoli and A. Sendlewski.