Displaying similar documents to “Orthomodular lattices with state-separated noncompatible pairs”

Hypersubstitutions in orthomodular lattices

Ivan Chajda, Helmut Länger (2001)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

It is shown that in the variety of orthomodular lattices every hypersubstitution respecting all absorption laws either leaves the lattice operations unchanged or interchanges join and meet. Further, in a variety of lattices with an involutory antiautomorphism a semigroup generated by three involutory hypersubstitutions is described.

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...

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...