. "DE - Spolkov\u00E1 republika N\u011Bmecko" . . "http://download.springer.com/static/pdf/889/art%253A10.1007%252Fs00500-012-0857-x.pdf?auth66=1424787259_38303dc92e74bdcc3c88d32d7382f95f&ext=.pdf" . "For lattice effect algebras, the so-called tense operators were already introduced by Chajda and KolaA (TM) ik. Tense operators express the quantifiers %22it is always going to be the case that%22 and %22it has always been the case that%22 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 in every effect algebra can be introduced tense operators which, for non-complete lattice effect algebras, can be only partial mappings. An effect algebra equipped with tense operators reflects changes of quantum events from past to future. A crucial problem concerning tense operators is their representation. Having an effect algebra with tense operators, we can ask if there exists a frame such that each of these operators can be obtained by our construction. We solve this problem for (strict) dynamic effect algebras having a full set of homorphisms into a complete lattice effect algebra." . "1432-7643" . . . "Soft Computing: a fusion of foundations, methodologies and applications" . "[09EBBCE4FD60]" . "10" . . "Dynamic effect algebras and their representations."@en . "RIV/61989592:15310/12:33145905" . "RIV/61989592:15310/12:33145905!RIV15-MSM-15310___" . "For lattice effect algebras, the so-called tense operators were already introduced by Chajda and KolaA (TM) ik. Tense operators express the quantifiers %22it is always going to be the case that%22 and %22it has always been the case that%22 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 in every effect algebra can be introduced tense operators which, for non-complete lattice effect algebras, can be only partial mappings. An effect algebra equipped with tense operators reflects changes of quantum events from past to future. A crucial problem concerning tense operators is their representation. Having an effect algebra with tense operators, we can ask if there exists a frame such that each of these operators can be obtained by our construction. We solve this problem for (strict) dynamic effect algebras having a full set of homorphisms into a complete lattice effect algebra."@en . "15310" . "Dynamic effect algebra; Tense operators; Lattice effect algebra; Effect algebra"@en . "10.1007/s00500-012-0857-x" . "Chajda, Ivan" . "000308532700009" . "P(EE2.3.20.0051)" . . . "1"^^ . "Paseka, Jan" . "132489" . . "Dynamic effect algebras and their representations." . . "16" . "9"^^ . "Dynamic effect algebras and their representations." . "2"^^ . . . . . . "Dynamic effect algebras and their representations."@en . . .