Now showing items 1-10 of 14
Common generalizations of orthocomplete and lattice effect algebras
Connections between the weak orthocompleteness and the maximality property in e ect algebras are presented. It is proved that an orthomodular poset with the maximality property is disjunctive. A characterization of ...
Effect algebras with the maximality property
The maximality property was introduced in  in orthomodular posets as a common generalization of orthomodular lattices and orthocomplete orthomodular posets. We show that various conditions used in the theory of e ...
Triangular Norms with Continous Daigonals
It is an old open question whether a t-norm with a continuous diagonal must be continuous . We give a partial positive answer for t-norms with noncontinuous additive generators (constructed by the technique of [1, ...
Concrete Quantum Logics with Generalised Compatibiliy
We present three results stating when a concrete (= set-representable) quantum logic with covering properties (generalization of compatibility) has to be a Boolean algebra. These results complete and generalize some ...
Atomistic and orthoatomistic effect algebras
We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.
Commutative Bounded Integral Residuated Orthomodular Lattices are Boolean Algebras
We show that a commutative bounded integral orthomodular lattice is residuated iff it is a Boolean algebra. This result is a consequence of [7, Theorem 7.31]; however, our proof is independent and uses other instruments.
Characterizations of spectral automorphisms and a Stone-type theorem in orthomodular lattices
The notion of spectral automorphism of an orthomodular lattice was introduced by Ivanov and Caragheorgheopol  to create an analogue of the Hilbert space spectral theory in the abstract framework of orthomodular lattices. ...
Atomic effect algebras with compression bases
Compression base effect algebras were recently introduced by Gudder . They generalize sequential effect algebras  and compressible effect algebras . The present paper focuses on atomic compression base effect ...