Residuation in orthomodular lattices

Residuation in orthomodular lattices

Blog Article

We show that every Originals High Rise Loose idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice.The converse holds if adjointness is replaced by conditional adjointness.Moreover, we show that every positive right residuated lattice satisfying the double negation law and two further simple identities can be converted into an orthomodular lattice.

In this case, also the converse statement is King Storage Bed true and the corresponence is nearly one-to-one.