We prove that the interval topology of an Archimedean atomic lattice effect algebra E is Hausdorff whenever the set of all atoms of E is almost orthogonal. In such a case E is order continuous. If moreover E is complete then order convergence of nets of elements of E is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on E corresponding to compact and cocompact elements. For block-finite Archimedean atomic lattice effect algebras the equivalence of almost orthogonality and s-compact generation is shown. As the main application we obtain a state smearing theorem for these effect algebras, as well as the continuity of ⊕-operation in the order and interval topologies on them.
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 on E, questions about isomorphisms and so. Namely we touch the families of complete lattice effect algebras, or lattice effect algebras with finitely many blocks, or complete atomic lattice effect algebra E with Hausdorff interval topology.
MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Lukasiewicz propositional calculus. Recently, algebraic theory of MV-algebras has been intensively studied. Wajsberg algebras are just a reformulation of Chang MV-algebras where implication is used instead of disjunction. Using these equivalence, in this paper we provide conditions for the existence of an epimorphism between two finite MV-algebras A and B. Specifically, we define the mv-functions with domain in the ordered set of prime elements of B and with range in the ordered set of prime elements of A, and prove that every epimorphism from A to B can be uniquely constructed from an mv-function.
The notion of a partially ordered partial abelian monoid is introduced and extensions of partially ordered abelian monoids by partially ordered abelian groups are studied. Conditions for the extensions to exist are found. The cases when both the above mentioned structures have the Riesz decomposition property, or are lattice ordered, are treated. Some applications to effect algebras and MV-algebras are shown.
An effect algebraic partial binary operation ⊕ defined on the underlying set E uniquely introduces partial order, but not conversely. We show that if on a MacNeille completion Eˆ of E there exists an effect algebraic partial binary operation ⊕ˆ then ⊕ˆ need not be an extension of ⊕. Moreover, for an Archimedean atomic lattice effect algebra E we give a necessary and sufficient condition for that ⊕ˆ existing on Eˆ is an extension of ⊕ defined on E. Further we show that such ⊕ˆ extending ⊕ exists at most one.
In this paper we describe the relationship between many-valued logics
(in particular Basic logic and Lukasiewicz logic) and semirings. We will also give definitions of antomata on BL-algebras and MV-algebras.
In this note we characterize the one-generated subdirectly irreducible MV-algebras and use this characterization to prove that a quasivariety of MV-algebras has the relative congruence extension property if and only if it is a variety.
Effect algebras are very natural logical structures as carriers of probabilities and states. They were introduced for modeling of sets of propositions, properties, questions, or events with fuzziness, uncertainty or unsharpness. Nevertheless, there are effect algebras without any state, and questions about the existence (for non-modular) are still unanswered. We show that every Archimedean atomic lattice effect algebra with at most five blocks (maximal MV-subalgebras) has at least one state, which can be obtained by "State Smearing Theorem'' from a state on its sharp elements.