Residuated bilattices

R Jansana, Umberto Rivieccio

Research output: Contribution to journalArticle

9 Citations (Scopus)

Abstract

We introduce a new product bilattice construction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lattice factors. Finally, we show how to employ our product construction to define first-order definable classes of bilattices corresponding to any first-order definable subclass of residuated lattices.
Original languageEnglish
Pages (from-to)493-504
Number of pages12
JournalSoft Computing
Volume16
Issue number3
DOIs
Publication statusPublished - 1 Mar 2012

Keywords

  • Residuated lattice
  • Twist-structure
  • Product bilattice
  • Bilattice

Fingerprint

Dive into the research topics of 'Residuated bilattices'. Together they form a unique fingerprint.

Cite this