Dynamic effect algebras

Year, pages: 2012, 379 - 388

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

Chajda, I., Kolařík, M. 2012. Dynamic effect algebras. In Mathematica Slovaca, vol. 62, no.3, pp. 379-388. 0139-9918. DOI: https://doi.org/10.2478/s12175-012-0015-z

Chajda, I., Kolařík, M. (2012). Dynamic effect algebras. Mathematica Slovaca, 62(3), 379-388. 0139-9918. DOI: https://doi.org/10.2478/s12175-012-0015-z