Residuation in orthomodular lattices
We show that every 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 th...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
De Gruyter
2017-04-01
|
| Series: | Topological Algebra and its Applications |
| Subjects: | |
| Online Access: | https://doi.org/10.1515/taa-2017-0001 |