Abstract
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.
[1] BURGES, J.: Basic tense logic. In: Handbook of Philosophical Logic, Vol. II (D. M. Gabbay, F. Günther, eds.). Synthese Lib. 165, D. Reidel Publ. Comp., Dordrecht-Boston-Lancaster, 1984, pp. 89–139. http://dx.doi.org/10.1007/978-94-009-6259-0_210.1007/978-94-009-6259-0_2Search in Google Scholar
[2] DIACONESCU, D.— GEORGESCU, G.: Tense operators on MV-algebras and Łukasiewicz-Moisil algebras, Fund. Inform. 81 (2007), 379–408. Search in Google Scholar
[3] DVUREČENSKIJ, A.— PULMANNOVÁ, S.: New Trends in Quantum Structures, Kluwer Acad. Publ./Ister Sci., Dordrecht-Boston-London/Bratislava, 2000. 10.1007/978-94-017-2422-7Search in Google Scholar
[4] FOULIS, D. J.— BENNETT, M. K.: Effect algebras and unsharp quantum logics, Found. Phys. 24 (1994), 1325–1346. http://dx.doi.org/10.1007/BF0228303610.1007/BF02283036Search in Google Scholar
[5] RIEČANOVÁ, Z.: Generalization of blocks for D-lattices and lattice-ordered effect algebras, Internat. J. Theoret. Phys. 39 (2000), 231–237. http://dx.doi.org/10.1023/A:100361980602410.1023/A:1003619806024Search in Google Scholar
© 2012 Mathematical Institute, Slovak Academy of Sciences
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.