Abstract
In residuated binars there are six non-obvious distributivity identities of \(\cdot ,/,\backslash \) over \(\wedge , \vee \). 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.
Similar content being viewed by others
References
Blount, K.: On the Structure of Residuated Lattices. Ph.D. Dissertation, Vanderbilt University, Nashville (1999)
Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13, 437–461 (2003)
Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Log. 163, 338–376 (2012)
Fussner, W., Palmigiano, A.: Residuation algebras with functional duals. In: Adaricheva, K. et al. (eds.) Algebras and Lattices in Hawai’i: Honoring Ralph Freese, Bill Lampe, and J.B. Nation, Lulu, pp. 39–46 (2018)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics. In: Studies in Logic and the Foundations of Mathematics, vol. 151, pp. xxi+509. Elsevier (2007)
Jipsen, P., Jónsson, B., Rafter, J.: Adjoining units to residuated Boolean algebras. Algebra Universalis 34, 118–127 (1995)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Fussner, W., Jipsen, P. Distributive laws in residuated binars. Algebra Univers. 80, 54 (2019). https://doi.org/10.1007/s00012-019-0625-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-019-0625-1