Priestley duality for (modal) N4-lattices

4 pages•Published: July 28, 2014

Abstract

N4-lattices are the algebraic semantics of paraconsistent Nelson logic, which was introduced as an inconsistency-tolerant counterpart of the better-known logic of Nelson. Paraconsistent Nelson logic combines interesting features of intuitionistic, classical and many-valued logics (e.g., Belnap-Dunn four-valued logic); recent work has shown that it can also be seen as one member of the wide family of substructural logics.
The work we present here is a contribution towards a better topological understanding of the algebraic counterpart of paraconsistent Nelson logic, namely a variety of involutive lattices called N4-lattices.

Keyphrases: esakia duality, n4 lattices, paraconsistent nelson logic, priestley duality, twist structures

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 105-108.

Links:	https://easychair.org/publications/paper/7Z5K
	https://doi.org/10.29007/p4ch

BibTeX entry

@inproceedings{TACL2013:Priestley_duality_(modal)_N4,
  author    = {Ramon Jansana and Umberto Rivieccio},
  title     = {Priestley duality for (modal) N4-lattices},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7Z5K},
  doi       = {10.29007/p4ch},
  pages     = {105-108},
  year      = {2014}}

Download PDF Open PDF in browser