Orthomodular lattices can be converted into left residuated l-groupoids

DOI10.18514/MMN.2017.1730zbMath1399.06020arXiv1810.00032MaRDI QIDQ4608380

Helmut Länger, Ivan Chajda

Publication date: 16 March 2018

Published in: Miskolc Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.00032

zbMATH Keywords

orthomodular latticedivisibilitydouble negation lawantitonyleft residuated l-groupoid

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Sets with a single binary operation (groupoids) (20N02)

Related Items (13)

Logical and algebraic properties of generalized orthomodular posets ⋮ On residuation in paraorthomodular lattices ⋮ Residuated operators in complemented posets ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Weakly orthomodular and dually weakly orthomodular posets ⋮ Residuation in modular lattices and posets ⋮ Weakly orthomodular and dually weakly orthomodular lattices ⋮ Residuation in finite posets ⋮ Residuated structures and orthomodular lattices ⋮ How to introduce the connective implication in orthomodular posets ⋮ Left residuated operators induced by posets with a unary operation ⋮ Left residuated lattices induced by lattices with a unary operation

This page was built for publication: Orthomodular lattices can be converted into left residuated l-groupoids