Orthomodular lattices can be converted into left residuated l-groupoids

DOI10.18514/MMN.2017.1730MaRDI QIDQ4608380zbMATH OpenFDO

Authors 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

divisibilityorthomodular latticedouble negation lawantitonyleft residuated l-groupoid

Mathematics Subject Classification ID

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

Abstract: We show that every orthomodular lattice can be considered as a left residuated l-groupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in the language of residuated structures. Also conversely, every left residuated l-groupoid satisfying the mentioned conditions can be organized into an orthomodular lattice.

Recommendations

• Residuation in orthomodular lattices
• On residuation in paraorthomodular lattices
• Residuated structures and orthomodular lattices
• Left residuated lattices induced by lattices with a unary operation
• A note on residuated po-groupoids and lattices with antitone involutions

Cited in

(16)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608380)