PASEKA, Jan a Jiří JANDA. A Dynamic Effect Algebras with dual operation. MATHEMATICS FOR APPLICATIONS. Brno, 2012, roč. 1, č. 1, s. 79-89. ISSN 1805-3610.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název A Dynamic Effect Algebras with dual operation
Autoři PASEKA, Jan (203 Česká republika, garant, domácí) a Jiří JANDA (203 Česká republika).
Vydání MATHEMATICS FOR APPLICATIONS, Brno, 2012, 1805-3610.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10101 Pure mathematics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14310/12:00062908
Organizační jednotka Přírodovědecká fakulta
Klíčová slova anglicky effect algebra; lattice effect algebra; tense operators; dynamic effect algebra
Štítky AKR, rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Jan Paseka, CSc., učo 1197. Změněno: 11. 2. 2013 16:24.
Anotace
Tense operators for MV-algebras were introduced by Diaconescu and Georgescu. Based on their denition Chajda and Kolařík presented the denition of tense operators for lattice effect algebras. Chajda and Paseka tackled the problem of axiomatizing tense operators on an effect algebra by introducing the notion of a partial dynamic effect algebra. They also gave representation theorems for dynamic effect algebras. We continue to extend their work for partial S-dynamic effect algebras i.e. in the case when tense operators satisfy required conditions also for the dual effect algebraic operation . We show that whenever tense operators are total our stronger notion coincides with their denition. We give also a representation theorem for partial S-dynamic effect algebras and its version for strict dynamic effect algebras.
Návaznosti
EE2.3.20.0051, projekt VaVNázev: Algebraické metody v kvantové logice
VytisknoutZobrazeno: 18. 7. 2024 06:08