Variety of orthomodular posets.
zbMATH Open1324.06010MaRDI QIDQ5250893FDOQ5250893
Authors: Miroslav Kolařík, Ivan Chajda
Publication date: 22 May 2015
Recommendations
varieties of algebrasorthomodular latticespermutable varietiesorthomodular posetscongruence distributive varietiescongruence regular varietiesorthomodular directoids
Partial orders, general (06A06) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15)
Cited In (9)
- Modal-type orthomodular logic
- On modular pairs in posets.
- The logic of orthomodular posets of finite height
- An algebraic axiomatization of orthogonal posets.
- Varieties corresponding to classes of complemented posets
- Title not available (Why is that?)
- Representations of empirical set theories
- Weakly orthomodular and dually weakly orthomodular posets
- Logical and algebraic properties of generalized orthomodular posets
This page was built for publication: Variety of orthomodular posets.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5250893)