Orthomodular lattices can be converted into left residuated l-groupoids

DOI10.18514/MMN.2017.1730zbMATH Open1399.06020arXiv1810.00032MaRDI QIDQ4608380FDOQ4608380

Authors: Helmut Länger, Ivan Chajda 

Publication date: 16 March 2018

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

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.

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

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

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)

Cited In (16)

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