Ordento, Bizuwork
(2024-09)
This project explores the newly defined equational class of algebra known as MS-almost
distributive lattice (MS-ADL), which serves as a unifying abstraction of De Morgan ADLs
and Stone ADLs. We demonstrate that MS-ADLs ...