In this article, we consider basic algebra, a common generalization of an MV-algebra (an algebraic counterpart of the Lukasiewicz many-valued propositional logic) and an orthomodular lattice (an ...