Abstract
We axiomatize the smallest variety that contains both the variety of MV-algebras and the variety (term equivalent to the variety) of orthomodular lattices.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have