Displaying similar documents to “Modularity, atomicity and states in Archimedean lattice effect algebras.”

Orthomodular Lattices

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

On the lattice of deductive systems of a BL-algebra

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.

Modular atomic effect algebras and the existence of subadditive states

Zdena Riečanová (2004)

Kybernetika

Similarity:

Lattice effect algebras generalize orthomodular lattices and M V -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.

Atomicity of lattice effect algebras and their sub-lattice effect algebras

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