Dualities for modal N4-lattices

DOI10.1093/jigpal/jzu002zbMath1335.03071OpenAlexW2131705711MaRDI QIDQ5172143

Umberto Rivieccio, Ramon Jansana

Publication date: 12 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4450b8145579a57c45b468a66f250aaa3760a74a

zbMATH Keywords

Priestley dualitytwist structureEsakia dualityN4-latticeparaconsistent Nelson logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Paraconsistent logics (03B53)

Related Items (9)

A categorical equivalence motivated by Kalman's construction ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Hoop twist-structures ⋮ A duality for two-sorted lattices ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Logic for abstract hoop twist-structures ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ A topological approach to MTL-algebras

This page was built for publication: Dualities for modal N4-lattices