Abstract :
In this survey we consider the variety of unsharp orthomodular lattices. We will see that there are pretty smooth conditions that neatly generalize a great deal of the theory of orthomodular lattices. In particular, we will characterize the concept of block in this framework towards an appropriate notion of commutativity. Then, we capitalize on this fact and describe a categorical equivalence between orthomodular lattices, with fixed p-filters, and the variety of unsharp orthomodular lattices.
Keywords :
Boolean algebras , Stone algebras , Kleene algebras , MV algebras , orthomodular lattices , p , filter , categorical equivalence , non , classical logic , sharp element , dense element , pseudo , complementation , Regularity
