On (finite) distributive lattices with antitone involutions
Jan Kühr, Michal Botur · EPiC series in computing · 2018
Finite distributive lattices with antitone involutions (= basic algebras) are studied; it is proved that their underlying lattices are isomorphic to direct products of finite chains, and hence finite distributive basic algebras can be constructed by “perturbing” finite MV-algebras, and moreover, under certain natural conditions, they even coincide with finite MV-algebras.