Priestley Duality for Paraconsistent Nelson’s Logic

Author: Odintsov, Sergei

Source: Studia Logica, Volume 96, Number 1, October 2010 , pp. 65-93(29)

Publisher: Springer

OR

Price: \$47.00 plus tax (Refund Policy)

Abstract:

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

Document Type: Research Article

Affiliations: Sobolev Institute of Mathematics, Koptyug prosp. 4, 630090, Novosibirsk, Russia, Email: odintsov@math.nsc.ru

Publication date: October 1, 2010

Related content

Key

Free content
New content
Open access content
Subscribed content
Free trial content

A | A | A | A