scholarly journals Common Generalizations of Orthocomplete and Lattice Effect Algebras

2009 ◽  
Vol 49 (12) ◽  
pp. 3279-3285 ◽  
Author(s):  
Josef Tkadlec
Keyword(s):  
Effect Algebras ◽  
Lattice Effect

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.

How to Produce S-Tense Operators on Lattice Effect Algebras

2014 ◽  
Vol 44 (7) ◽  
pp. 792-811 ◽  
Author(s):  
Ivan Chajda ◽  
Jiří Janda ◽  
Jan Paseka
Keyword(s):  
Effect Algebras ◽  
Tense Operators ◽  
Lattice Effect

Material implications in lattice effect algebras

2018 ◽  
Vol 433-434 ◽  
pp. 233-240 ◽  
Author(s):  
R.A. Borzooei ◽  
A. Dvurečenskij ◽  
A.H. Sharafi
Keyword(s):  
Effect Algebras ◽  
Lattice Effect

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.

Sign in / Sign up

Export Citation Format

Share Document