Archimedean atomic lattice effect algebras with complete lattice of sharp elements.
Riečanová, Zdenka (2010)
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications [electronic only]
Similarity:
Riečanová, Zdenka (2010)
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications [electronic only]
Similarity:
M. Galvão, Patrick Smith (1998)
Colloquium Mathematicae
Similarity:
Elżbieta Mądra, Adam Grabowski (2008)
Formalized Mathematics
Similarity:
The main result of the article is the solution to the problem of short axiomatizations of orthomodular ortholattices. Based on EQP/Otter results [10], we gave a set of three equations which is equivalent to the classical, much longer equational basis of such a class. Also the basic example of the lattice which is not orthomodular, i.e. benzene (or B6) is defined in two settings - as a relational structure (poset) and as a lattice.As a preliminary work, we present the proofs of the dependence...
Dumitru Bu§neag, Dana Piciu (2003)
Open Mathematics
Similarity:
For a BL-algebra A we denote by Ds(A) the lattice of all deductive systems of A. The aim of this paper is to put in evidence new characterizations for the meet-irreducible elements on Ds(A). Hyperarchimedean BL-algebras, too, are characterized.
Zdena Riečanová (2004)
Kybernetika
Similarity:
Lattice effect algebras generalize orthomodular lattices and -algebras. We describe all complete modular atomic effect algebras. This allows us to prove the existence of ordercontinuous subadditive states (probabilities) on them. For the separable noncomplete ones we show that the existence of a faithful probability is equivalent to the condition that their MacNeille complete modular effect algebra.
Jan Paseka, Zdena Riečanová (2009)
Kybernetika
Similarity:
We show some families of lattice effect algebras (a common generalization of orthomodular lattices and MV-effect algebras) each element E of which has atomic center C(E) or the subset S(E) of all sharp elements, resp. the center of compatibility B(E) or every block M of E. The atomicity of E or its sub-lattice effect algebras C(E), S(E), B(E) and blocks M of E is very useful equipment for the investigations of its algebraic and topological properties, the existence or smearing of states...
Chen, Jinxi (2006)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Waphare, B.N., Joshi, V.V. (2004)
Acta Mathematica Universitatis Comenianae. New Series
Similarity: