Paseka, Jan; Janda, Jiří A dynamic effect algebras with dual operation. (English) Zbl 1296.03039 Math. Appl., Brno 1, No. 1, 79-89 (2012). Tense operators are used to quantify over time the dimension of the considered logic. The authors study effect algebras with tense operators (so-called partial dynamic effect algebras) with an additional condition for the dual effect algebra operation (so-called partial S-dynamic effect algebras). They show that these notions coincide for total tense operations and present representation theorems. Reviewer: Josef Tkadlec (Praha) Cited in 5 Documents MSC: 03G12 Quantum logic 03G25 Other algebras related to logic 06D35 MV-algebras Keywords:effect algebra; tense operators; dynamic effect algebra PDFBibTeX XMLCite \textit{J. Paseka} and \textit{J. Janda}, Math. Appl., Brno 1, No. 1, 79--89 (2012; Zbl 1296.03039) Full Text: DOI