Congruences on finite lattices
Bohuslav Sivák (1982)
Mathematica Slovaca
Similarity:
Displaying similar documents to “An algebra of quasiordered logic”
Congruences on finite lattices
Residuation in orthomodular lattices
Ivan Chajda, Helmut Länger (2017)
Topological Algebra and its Applications
Similarity:
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 the double negation law and two further simple identities can be converted into an orthomodular lattice. In this case, also the converse statement is true and the corresponence is nearly one-to-one. ...
On skew lattices. II.
Václav Slavík (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
An approach to solvability in orthomodular lattices
Ladislav Beran (1972)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity: