Currently displaying 1 – 20 of 30

Showing per page

Order by Relevance | Title | Year of publication

On the set representation of an orthomodular poset

John HardingPavel Pták — 2001

Colloquium Mathematicae

Let P be an orthomodular poset and let B be a Boolean subalgebra of P. A mapping s:P → ⟨0,1⟩ is said to be a centrally additive B-state if it is order preserving, satisfies s(a') = 1 - s(a), is additive on couples that contain a central element, and restricts to a state on B. It is shown that, for any Boolean subalgebra B of P, P has an abundance of two-valued centrally additive B-states. This answers positively a question raised in [13, Open question, p. 13]. As a consequence one obtains a somewhat...

Symmetric difference on orthomodular lattices and Z 2 -valued states

Milan MatoušekPavel Pták — 2009

Commentationes Mathematicae Universitatis Carolinae

The investigation of orthocomplemented lattices with a symmetric difference initiated the following question: Which orthomodular lattice can be embedded in an orthomodular lattice that allows for a symmetric difference? In this paper we present a necessary condition for such an embedding to exist. The condition is expressed in terms of Z 2 -valued states and enables one, as a consequence, to clarify the situation in the important case of the lattice of projections in a Hilbert space.

Orthocomplemented difference lattices with few generators

Milan MatoušekPavel Pták — 2011


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

Orthomodular lattices with state-separated noncompatible pairs

R. MayetPavel Pták — 2000

Czechoslovak Mathematical Journal

In the logico-algebraic foundation of quantum mechanics one often deals with the orthomodular lattices (OML) which enjoy state-separating properties of noncompatible pairs (see e.g. , and ). These properties usually guarantee reasonable “richness” of the state space—an assumption needed in developing the theory of quantum logics. In this note we consider these classes of OMLs from the universal algebra standpoint, showing, as the main result, that these classes form quasivarieties. We also illustrate...

Page 1 Next

Download Results (CSV)