2 papers
math.LO2022
On locally finite orthomodular lattices
Dominika Burešová, Pavel Pták
Let us denote by LF the class of all orthomodular lattices (OMLs) that are locally finite (i.e., L in LF provided each finite subset of L generates in L a finite subOML). We first…
quant-ph2021
Quantum logics close to Boolean algebras
Mirko Navara, Pavel Pták
We consider orthomodular posets endowed with a symmetric difference. We call them ODPs. Expressed in the quantum logic language, we consider quantum logics with an XOR-type connect…