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.

Peer Reviewed

1

Copyright

Springer

Available for download on Friday, November 20, 2020

Included in

Algebra Commons

Share

COinS