Congruence kernels of orthomodular implication algebras

DOI10.1016/j.disc.2007.08.101zbMath1146.06005OpenAlexW2016744880MaRDI QIDQ942101

Helmut Länger, Radomír Halaš, Ivan Chajda

Publication date: 4 September 2008

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.disc.2007.08.101

zbMATH Keywords

congruence kernelorthomodular latticepermutable varietyorthomodular semilattice\(p\)-filtercompatible congruence familycompatible filter familyorthomodular implication algebraweakly regular variety

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Subalgebras, congruence relations (08A30) Semilattices (06A12)

Related Items (2)

Quasi-orthomodular posets and weak BCK-algebras. ⋮ Operations and structures derived from non-associative MV-algebras

Cites Work

• Orthomodular structures as quantum logics. Transl. from the Slovak
• Orthoimplication algebras
• Simple axioms for orthomodular implication algebras
• Orthomodular implication algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Congruence kernels of orthomodular implication algebras