Distributive laws in residuated binars
Logic
2021-06-09 v1
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.
Cite
@article{arxiv.1901.01615,
title = {Distributive laws in residuated binars},
author = {Wesley Fussner and Peter Jipsen},
journal= {arXiv preprint arXiv:1901.01615},
year = {2021}
}