2012
Dynamic effect algebras and their representations
CHAJDA, Ivan a Jan PASEKAZákladní údaje
Originální název
Dynamic effect algebras and their representations
Autoři
CHAJDA, Ivan (203 Česká republika) a Jan PASEKA (203 Česká republika, garant, domácí)
Vydání
Soft computing, NEW YORK, Springer-Verlag GmbH, 2012, 1432-7643
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10101 Pure mathematics
Stát vydavatele
Spojené státy
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 1.124
Kód RIV
RIV/00216224:14310/12:00062906
Organizační jednotka
Přírodovědecká fakulta
UT WoS
000308532700009
Klíčová slova anglicky
Effect algebra; Lattice effect algebra; Tense operators; Dynamic effect algebra
Změněno: 9. 4. 2013 19:41, Ing. Andrea Mikešková
Anotace
V originále
For lattice effect algebras, the so-called tense operators were already introduced by Chajda and KolaA (TM) ik. 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 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.
Návaznosti
| EE2.3.20.0051, projekt VaV |
|