Distributive laws in residuated binars

In residuated binars there are six non-obvious distributivity identities of · , / , \ over ∧ , ∨ . We show that in residuated binars with distributive lattice reducts there are some dependencies among these identities; specifically, there are six pairs of identities that imply another one of these i...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Algebra universalis 2019-12, Vol.80 (4), p.1-13, Article 54
Hauptverfasser: Fussner, Wesley, Jipsen, Peter
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In residuated binars there are six non-obvious distributivity identities of · , / , \ over ∧ , ∨ . We show that in residuated binars with distributive lattice reducts there are some dependencies among these identities; specifically, there are six pairs of identities that imply another one of these identities, and we provide counterexamples to show that no other dependencies exist among these.
ISSN:0002-5240
1420-8911
DOI:10.1007/s00012-019-0625-1