×

A dynamic effect algebras with dual operation. (English) Zbl 1296.03039

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.

MSC:

03G12 Quantum logic
03G25 Other algebras related to logic
06D35 MV-algebras
PDFBibTeX XMLCite
Full Text: DOI