Exotic logics
Spaces of observables
On equalizers in generalized algebraic categories
On extensions of uniformly continuous Banach-space-valued mappings
“Hidden variables” on concrete logics (extensions)
A note on normal topological functors and extensions of transformations
Measure-determined enlargements of Boolean -algebras
Categories of orthomodular posets
On the set representation of an orthomodular poset
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...
Regularly full logics and the uniqueness problem for observables
On the integration on -classes
Orthomodular lattices with state-separated noncompatible pairs
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...
The complexity of -discretely decomposable families in uniform spaces
Order properties of splitting subspaces in an inner product space
Considering uncertainty and dependence in Boolean, quantum and fuzzy logics
A degree of probabilistic dependence is introduced in the classical logic using the Frank family of -norms known from fuzzy logics. In the quantum logic a degree of quantum dependence is added corresponding to the level of noncompatibility. Further, in the case of the fuzzy logic with -states, (resp. -states) the consideration turned out to be fully analogous to (resp. considerably different from) the classical situation.
Symmetric difference on orthomodular lattices and -valued states
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 -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
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...
A measure-theoretic characterization of Boolean algebras among orthomodular lattices
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.
Relatively additive states on quantum logics
In this paper we carry on the investigation of partially additive states on quantum logics (see [2], [5], [7], [8], [11], [12], [15], [18], etc.). We study a variant of weak states — the states which are additive with respect to a given Boolean subalgebra. In the first result we show that there are many quantum logics which do not possess any 2-additive central states (any logic possesses an abundance of 1-additive central state — see [12]). In the second result we construct a finite 3-homogeneous...
Hilbert-space-valued states on quantum logics
Page 1 Next