Varieties corresponding to classes of complemented posets

DOI10.18514/MMN.2021.3218MaRDI QIDQ5065380zbMATH OpenOpenAlexFDO

Authors Miroslav Kolařík, Helmut Länger, Ivan Chajda

Publication date 18 March 2022

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

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

zbMATH Keywords

varietycongruence distributivitycongruence regularitybounded posetcomplemented poset\(\lambda\)-latticeorthogonal posetskew-orthomodular poset

Mathematics Subject Classification ID

Quantum logic (03G12) Generalizations of lattices (06B75) Congruence modularity, congruence distributivity (08B10) Algebraic aspects of posets (06A11) Complemented lattices, orthocomplemented lattices and posets (06C15)

Abstract: As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the orthomodular law is satisfied. When we omit the condition that the complementation is an antitone involution, then we obtain skew-orthomodular posets. To each such poset we can assign a bounded lambda-lattice in a non-unique way. Bounded lambda-lattices are lattice-like algebras whose operations are not necessarily associative. We prove that any of the following properties for bounded posets with a unary operation can be characterized by certain identities of an arbitrary assigned lambda-lattice: complementarity, orthogonality, almost skew-orthomodularity and skew-orthomodularity. It is shown that these identities are independent. Finally, we show that the variety of skew-orthomodular lambda-lattices is congruence permutable as well as congruence regular.

Recommendations

• Weakly orthomodular and dually weakly orthomodular posets
• Variety of orthomodular posets.
• Orthomodular semilattices
• Varieties of orthocomplemented lattices induced by Łukasiewicz-groupoid-valued mappings
• MV-LIKE ALGEBRAS ASSOCIATED TO λ-ORTHOLATTICES*

Cited in

(7)

• Consistent posets
• scientific article; zbMATH DE number 1868860 (Why is no real title available?)
• MV-LIKE ALGEBRAS ASSOCIATED TO λ-ORTHOLATTICES*
• On definition of skew frames
• Non-elementary classes of representable posets
• Combinatorics arising from lax colimits of posets
• Weakly orthomodular and dually weakly orthomodular posets

This page was built for publication: Varieties corresponding to classes of complemented posets

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