scholarly journals Roughness in Lattice Ordered Effect Algebras

2014 ◽  
Vol 2014 ◽  
pp. 1-9 ◽  
Author(s):  
Xiao Long Xin ◽  
Xiu Juan Hua ◽  
Xi Zhu
Keyword(s):  
Effect Algebra ◽  
Effect Algebras ◽  
Algebraic Systems ◽  
Riesz Ideal ◽  
Congruence Classes

Many authors have studied roughness on various algebraic systems. In this paper, we consider a lattice ordered effect algebra and discuss its roughness in this context. Moreover, we introduce the notions of the interior and the closure of a subset and give some of their properties in effect algebras. Finally, we use a Riesz ideal induced congruence and define a functione(a,b)in a lattice ordered effect algebraEand build a relationship between it and congruence classes. Then we study some properties about approximation of lattice ordered effect algebras.

scholarly journals Module Structure on Effect Algebras

2020 ◽  
Author(s):  
Simin Saidi Goraghani ◽  
Rajab Ali Borzooei
Keyword(s):  
Effect Algebra ◽  
Module Structure ◽  
Effect Algebras ◽  
Product Effect

 In this paper, by considering the notions of effect algebra and product effect algebra, we define the concept of effect module. Then we investigate some properties of effect modules, and we present some examples on them. Finally, we introduce some interesting topologies on effect modules.

Properties of implication in effect algebras

2021 ◽  
Vol 71 (3) ◽  
pp. 523-534
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Hilbert Space ◽  
Quantum Mechanics ◽  
State Space ◽  
Effect Algebra ◽  
Modus Ponens ◽  
Effect Algebras ◽  
Algebraic Semantics ◽  
Deductive Systems ◽  
Algebraic Description ◽  
Residuated Poset

Abstract Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serve as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of quantum mechanics, more precisely as an algebraic semantics of these logics. Because every productive logic is equipped with implication, we introduce here such a concept and demonstrate its properties. In particular, we show that this implication is connected with conjunction via a certain “unsharp” residuation which is formulated on the basis of a strict unsharp residuated poset. Though this structure is rather complicated, it can be converted back into an effect algebra and hence it is sound. Further, we study the Modus Ponens rule for this implication by means of so-called deductive systems and finally we study the contraposition law.

scholarly journals Coexistency on Hilbert Space Effect Algebras and a Characterisation of Its Symmetry Transformations

2020 ◽  
Vol 379 (3) ◽  
pp. 1077-1112 ◽  
Author(s):  
György Pál Gehér ◽  
Peter Šemrl
Keyword(s):  
Hilbert Space ◽  
Effect Algebra ◽  
Mathematical Structure ◽  
Quantum Measurements ◽  
The Other ◽  
Effect Algebras ◽  
Natural Question ◽  
Fuzzy Event ◽  
Space Effect ◽  
Symmetry Transformations

Abstract The Hilbert space effect algebra is a fundamental mathematical structure which is used to describe unsharp quantum measurements in Ludwig’s formulation of quantum mechanics. Each effect represents a quantum (fuzzy) event. The relation of coexistence plays an important role in this theory, as it expresses when two quantum events can be measured together by applying a suitable apparatus. This paper’s first goal is to answer a very natural question about this relation, namely, when two effects are coexistent with exactly the same effects? The other main aim is to describe all automorphisms of the effect algebra with respect to the relation of coexistence. In particular, we will see that they can differ quite a lot from usual standard automorphisms, which appear for instance in Ludwig’s theorem. As a byproduct of our methods we also strengthen a theorem of Molnár.

Dynamic effect algebras

2012 ◽  
Vol 62 (3) ◽  
Author(s):  
Ivan Chajda ◽  
Miroslav Kolařík
Keyword(s):  
Quantum Mechanics ◽  
Effect Algebra ◽  
Dynamic Effect ◽  
Effect Algebras ◽  
Lattice Effect Algebra ◽  
Tense Operators ◽  
Lattice Effect

AbstractWe introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always going to be the case that” and “it has always been the case that” and hence enable us to express the dimension of time in the logic of quantum mechanics. We present an axiomatization of these tense operators and prove that every lattice effect algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic since it reflects changes of quantum events from past to future.

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 with a full set of states

2016 ◽  
Vol 66 (4) ◽  
Author(s):  
Ivan Chajda
Keyword(s):  
Temporal Logic ◽  
Effect Algebra ◽  
Effect Algebras ◽  
Tense Operators ◽  
Numerical Algebra ◽  
Full Set Of States

AbstractIt is shown that every effect algebra with a full set of states can be represented as a so-called numerical algebra introduced in the paper. For numerical algebras there are introduced tense operators which indicate dynamical changes of quantum events depending on variability of states. These operators enable to recognize an effect algebra with a full set of states as a temporal logic where events are quantified by these tense operators. The problem of representation of tense operators on a given numerical algebra is solved.

STATES, UNIFORMITIES AND METRICS ON LATTICE EFFECT ALGEBRAS

2002 ◽  
Vol 10 (supp01) ◽  
pp. 125-133 ◽  
Author(s):  
ZDENKA RIEČANOVÁ
Keyword(s):  
Effect Algebra ◽  
Order Topology ◽  
Effect Algebras ◽  
Lattice Effect Algebra ◽  
Uniform Topology ◽  
Lattice Effect

We show that every state ω on a lattice effect algebra E induces a uniform topology on E. If ω is subadditive this topology coincides with pseudometric topology induced by ω. Further, we show relations between the interval and order topology on E and topologies induced by states.

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.

Invariance of nonatomic measures on effect algebras

2018 ◽  
Vol 68 (2) ◽  
pp. 311-318
Author(s):  
Akhilesh Kumar Singh
Keyword(s):  
Probability Measure ◽  
Effect Algebra ◽  
Probability Measures ◽  
Effect Algebras ◽  
Darboux Property

Abstract The present paper deals with invariance of nonatomic measures defined on effect algebras. Firstly, it is proved that if μ is a nonatomic and continuous probability measure defined on a σ-complete effect algebra L, then it satisfies para-Darboux property. Then, the invariance between continuous probability measures m and μ defined on a σ-complete effect algebra L is established when μ is nonatomic satisfying para-Darboux property on L.

Sign in / Sign up

Export Citation Format

Share Document