7 citations · 9 across the 5 of their papers we have counts for
5 papers
Form of Contextuality Predicting Probabilistic Equivalence between Two Sets of Three Mutually Noncommuting Observables
Mirko Navara, Karl Svozil
We introduce a contextual quantum system comprising mutually complementary observables organized into two or more collections of pseudocontexts with the same probability sums of ou…
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…
Boolean subalgebras of orthoalgebras
John Harding, Chris Heunen, Bert Lindenhovius +1
We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to character…
Subalgebras of orthomodular lattices
John Harding, Mirko Navara
Sachs showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular latti…
Extending states on finite concrete logics
Anna De Simone, Mirko Navara, Pavel Pták
In this note we collect several observations on state extensions. They may be instrumental to anyone who pursues the theory of quantum logics. In particular, we find out when exten…