A duality for two-sorted lattices

Umberto Rivieccio, Achim Jung

Research output: Contribution to journalArticlepeer-review

87 Downloads (Pure)

Abstract

A series of representation theorems (some of which discovered very recently) present an alternative view of many classes of algebras related to non-classical logics (e.g. bilattices, semi-De Morgan, Nelson and quasi-Nelson algebras) as two-sorted algebras in the sense of many-sorted universal algebra. In all the above-mentioned examples, we are in fact dealing with a pair of lattices related by two meet-preserving maps. We use this insight to develop a Priestley-style duality for such structures, mainly building on the duality for meet-semilattices of G. Bezhanishvili and R. Jansana. Our approach simplifies all the existing dualities for these algebras and is applicable more generally; in particular, we show how it specialises to the class of quasi-Nelson algebras, which has not yet been studied from a duality point of view.
Original languageEnglish
Pages (from-to)851–868
JournalSoft Computing
Volume25
Issue number2
DOIs
Publication statusPublished - 5 Jan 2021

Keywords

  • Bilattice
  • Nelson algebra
  • Priestley duality
  • Semi-De Morgan algebra
  • Twist-structure

Fingerprint

Dive into the research topics of 'A duality for two-sorted lattices'. Together they form a unique fingerprint.

Cite this