Distributive Laws in Residuated Binars

Authors

Wesley Fussner, University of Denver
Peter Jipsen, Chapman UniversityFollow

Document Type

Article

Publication Date

11-20-2019

Abstract

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.

Comments

This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Algebra Universalis, volume 54, in 2019 following peer review. The final publication may differ and is available at Springer via https://doi.org/10.1007/s00012-019-0625-1.

A free-to-read copy of the final published article is available here.

Recommended Citation

Fussner, W., Jipsen, P. Distributive laws in residuated binars. Algebra Univers. 80, 54 (2019). https://doi.org/10.1007/s00012-019-0625-1

Peer Reviewed

1

Copyright

Springer