Abstract:
In this poject, we understand the new equational class of algebra which we call MS-almost
distributive lattice (MS-ADL) as a common abstraction of De Morgan ADLs and Stone
ADLs. We observed that the class of MS-ADLs properly contain the class of MS-algebras
and most of the properties of MS-algebras are extended to the class of MS-ADL. The main
objective of this project is to develop a better understanding of the concept of MS-ADLs.
Moreover, in this project we observed some basic properties, state and prove basic theorems,
lemmas and corollaries related to MS-ADL.