scholarly journals n-dimensional Observables on k-Perfect MV-Algebras and k-Perfect Effect Algebras. I. Characteristic Points

2021 ◽  
Author(s):  
Anatolij Dvurečenskij ◽  
Dominik Lachman
Keyword(s):  
Effect Algebras ◽  
Characteristic Points ◽  
Mv Algebras

Perfect residuated lattice ordered monoids

2010 ◽  
Vol 60 (6) ◽  
Author(s):  
Jiří Rachůnek ◽  
Dana Šalounová
Keyword(s):  
Probability Measure ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Heyting Algebras ◽  
Effect Algebras ◽  
Quantum Logics ◽  
Mv Algebras ◽  
Intuitionistic Logics

AbstractBounded Rℓ-monoids form a large subclass of the class of residuated lattices which contains certain of algebras of fuzzy and intuitionistic logics, such as GMV-algebras (= pseudo-MV-algebras), pseudo-BL-algebras and Heyting algebras. Moreover, GMV-algebras and pseudo-BL-algebras can be recognized as special kinds of pseudo-MV-effect algebras and pseudo-weak MV-effect algebras, i.e., as algebras of some quantum logics. In the paper, bipartite, local and perfect Rℓ-monoids are investigated and it is shown that every good perfect Rℓ-monoid has a state (= an analogue of probability measure).

Quantum B-algebras

2013 ◽  
Vol 11 (11) ◽  
Author(s):  
Wolfgang Rump
Keyword(s):  
Number Theory ◽  
Algebraic Number Theory ◽  
Connected Components ◽  
Effect Algebras ◽  
Algebraic Semantics ◽  
Partially Ordered ◽  
Ordered Groups ◽  
Group A ◽  
Ordered Algebras ◽  
Mv Algebras

AbstractThe concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic. The logic of quantales and its algebraic semantics manifests itself in a class of partially ordered algebras with a pair of implicational operations recently introduced as quantum B-algebras. Implicational algebras like pseudo-effect algebras, generalized BL- or MV-algebras, partially ordered groups, pseudo-BCK algebras, residuated posets, cone algebras, etc., are quantum B-algebras, and every quantum B-algebra can be recovered from its spectrum which is a quantale. By a two-fold application of the functor “spectrum”, it is shown that quantum B-algebras have a completion which is again a quantale. Every quantale Q is a quantum B-algebra, and its spectrum is a bigger quantale which repairs the deficiency of the inverse residuals of Q. The connected components of a quantum B-algebra are shown to be a group, a fact that applies to normal quantum B-algebras arising in algebraic number theory, as well as to pseudo-BCI algebras and quantum BL-algebras. The logic of quantum B-algebras is shown to be complete.

scholarly journals Effect algebras with state operator

10.29007/jbdq ◽  
2018 ◽  
Author(s):  
Silvia Pulmannova
Keyword(s):  
Effect Algebra ◽  
Operator Algebras ◽  
Internal State ◽  
Effect Algebras ◽  
State Operator ◽  
Conditional Expectations ◽  
Definition Of ◽  
Mv Algebras

A state operator on effect algebras is introduced as an additive, idempotent and unital mapping from the effect algebra into itself. The definition is inspired by the definition of an internal state on MV-algebras, recently introduced by Flaminio and Montagna. We study state operators on convex effect algebras, and show their relations with conditional expectations on operator algebras.

Effect algebras and quantum MV algebras

2004 ◽  
pp. 87-113
Author(s):  
M. Dalla Chiara ◽  
R. Giuntini ◽  
R. Greechie
Keyword(s):  
Effect Algebras ◽  
Mv Algebras

scholarly journals A Note of Filters in Effect Algebras

2013 ◽  
Vol 2013 ◽  
pp. 1-4
Author(s):  
Biao Long Meng ◽  
Xiao Long Xin
Keyword(s):  
Boolean Algebra ◽  
Orthomodular Lattice ◽  
Effect Algebra ◽  
Effect Algebras ◽  
Lattice Filter ◽  
Mv Algebra ◽  
Mv Algebras

We investigate relations of the two classes of filters in effect algebras (resp., MV-algebras). We prove that a lattice filter in a lattice ordered effect algebra (resp., MV-algebra) does not need to be an effect algebra filter (resp., MV-filter). In general, in MV-algebras, every MV-filter is also a lattice filter. Every lattice filter in a lattice ordered effect algebra is an effect algebra filter if and only if is an orthomodular lattice. Every lattice filter in an MV-algebra is an MV-filter if and only if is a Boolean algebra.

scholarly journals Two Remarks to Bifullness of Centers of Archimedean Atomic Lattice Effect Algebras

10.14311/1398 ◽  
2011 ◽  
Vol 51 (4) ◽  
Author(s):  
M. Kalina
Keyword(s):  
Effect Algebra ◽  
Subdirect Product ◽  
Sufficient Conditions ◽  
Effect Algebras ◽  
Lattice Effect Algebra ◽  
Orthomodular Lattices ◽  
Atomic Lattice ◽  
Lattice Effect ◽  
Archimedean Lattice ◽  
Mv Algebras

Lattice effect algebras generalize orthomodular lattices as well as MV-algebras. This means that within lattice effect algebras it is possible to model such effects as unsharpness (fuzziness) and/or non-compatibility. The main problem is the existence of a state. There are lattice effect algebras with no state. For this reason we need some conditions that simplify checking the existence of a state. If we know that the center C(E) of an atomic Archimedean lattice effect algebra E (which is again atomic) is a bifull sublattice of E, then we are able to represent E as a subdirect product of lattice effect algebras Ei where the top element of each one of Ei is an atom of C(E). In this case it is enough if we find a state at least in one of Ei and we are able to extend this state to the whole lattice effect algebra E. In [8] an atomic lattice effect algebra E (in fact, an atomic orthomodular lattice) with atomic center C(E) was constructed, where C(E) is not a bifull sublattice of E. In this paper we show that for atomic lattice effect algebras E (atomic orthomodular lattices) neither completeness (and atomicity) of C(E) nor σ-completeness of E are sufficient conditions for C(E) to be a bifull sublattice of E.

scholarly journals Loomis-Sikorski theorem for monotone σ-complete effect algebras

2005 ◽  
Vol 79 (3) ◽  
pp. 305-318 ◽  
Author(s):  
Anatolij Dvurečenskij
Keyword(s):  
Fuzzy Sets ◽  
Effect Algebras ◽  
Mv Algebras

AbstractWe show that monotone σ -complete effect algebras under some conditions are σ - homomorphic images of effect-tribes (as monotone σ -complete effect algebras), which are nonempty systems of fuzzy sets closed under complements, sums of fuzzy sets less than 1, and containing all pointwise limits of nondecreasing fuzzy sets. Because effect-tribes are generalizations of Boolean σ -algebras of subsets, we present a generlization of the Loomis-Sikorski theorem for such effect algebras. We show that we can choose an effect-tribe to be a system of affin fuzzy sets. In addition, we present a new version of the Loomis-Sikorski theorem for σ-complete MV-algebras.

A triple representation of lattice effect algebras

2016 ◽  
Vol 66 (6) ◽  
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Effect Algebra ◽  
Effect Algebras ◽  
Mutual Relationship ◽  
Lattice Effect Algebra ◽  
Antitone Involution ◽  
Lattice Effect ◽  
One To One ◽  
Mv Algebras

AbstractA mutual relationship between MV-algebras and coupled semirings as established by L. P. Belluce, A. Di Nola, A. R. Ferraioli and B. Gerla is extended to lattice effect algebras and so-called characterizing triples. We show that this correspondence is in fact one-to-one and hence every lattice effect algebra can be considered as an ordered triple consisting of two semiring-like structures and an antitone involution which is an isomorphism between these structures.

Sign in / Sign up

Export Citation Format

Share Document