On the products of quantum logics
On the propositional system A of Sobocinski
On the range of a Boolean transformation.
On The Range Of Boolean Transformation
On the representation of S5 algebras and their automorphism groups.
On the structure of numerical event spaces
The probability of the occurrence of an event pertaining to a physical system which is observed in different states determines a function from the set of states of the system to . The function is called a numerical event or multidimensional probability. When appropriately structured, sets of numerical events form so-called algebras of -probabilities. Their main feature is that they are orthomodular partially ordered sets of functions with an inherent full set of states. A classical...
On the sum of observables in a logic
On the tensor product of a Boolean algebra and an orthoalgebra
On the uniqueness problem for quite full logics
On the weak representability of -complete dimension complemented cylindric algebras
On two problems of quantum logics
On weakly rigid monounary algebras
On σ-orthodistributivity
One of the Possible Formal Desribtions of Deducubility
One-generated clones of operations on binary relations
Order properties of splitting subspaces in an inner product space
Ordered prime spectra of bounded -monoids
Ordered prime spectra of Boolean products of bounded -monoids are described by means of their decompositions to the prime spectra of the components.
Ordering of observables and characterization of conditional expectation
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...
Orthomodular lattices with almost orthogonal sets of atoms
The set of all atoms of an atomic orthomodular lattice is said to be almost orthogonal if the set is finite for every . It is said to be strongly almost orthogonal if, for every , any sequence of atoms such that contains at most finitely many distinct elements. We study the relation and consequences of these notions. We show among others that a complete atomic orthomodular lattice is a compact topological one if and only if the set of all its atoms is almost orthogonal.