Displaying similar documents to “Symmetric difference on orthomodular lattices and Z 2 -valued states”

Orthocomplemented difference lattices with few generators

Milan Matoušek, Pavel Pták (2011)

Kybernetika

Similarity:

The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics, notably with the field of artificial intelligence (see, e. g., [19, 20]). Recently an effort has been exercised to advance with logics that possess a symmetric difference ([13, 14]) - with so called orthocomplemented difference lattices (ODLs). This paper further contributes to this effort. In [13] the author constructs an ODL that is not set-representable. This example is quite elaborate. A...

A measure-theoretic characterization of Boolean algebras among orthomodular lattices

Pavel Pták, Sylvia Pulmannová (1994)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate subadditive measures on orthomodular lattices. We show as the main result that an orthomodular lattice has to be distributive (=Boolean) if it possesses a unital set of subadditive probability measures. This result may find an application in the foundation of quantum theories, mathematical logic, or elsewhere.

Orthomodular lattices with fully nontrivial commutators

Milan Matoušek (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

An orthomodular lattice L is said to have fully nontrivial commutator if the commutator of any pair x , y ∈ L is different from zero. In this note we consider the class of all orthomodular lattices with fully nontrivial commutators. We show that this class forms a quasivariety, we describe it in terms of quasiidentities and situate important types of orthomodular lattices (free lattices, Hilbertian lattices, etc.) within this class. We also show that the quasivariety in question is not a variety...