In: Mathematica Slovaca, vol. 62, no. 3
Ivan Chajda - Miroslav Kolařík
Detaily:
Rok, strany: 2012, 379 - 388
Kľúčové slová:
effect algebra, lattice effect algebra, tense operators, dynamic effect algebra
O článku:
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.
Ako citovať:
ISO 690:
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
APA:
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
O vydaní: