Další formáty:
BibTeX
LaTeX
RIS
@article{1082300, author = {Paseka, Jan and Janda, Jiří}, article_location = {Brno}, article_number = {1}, keywords = {effect algebra; lattice effect algebra; tense operators; dynamic effect algebra}, language = {eng}, issn = {1805-3610}, journal = {MATHEMATICS FOR APPLICATIONS}, title = {A Dynamic Effect Algebras with dual operation}, url = {http://ma.fme.vutbr.cz/archiv/1_1/79_89.pdf}, volume = {1}, year = {2012} }
TY - JOUR ID - 1082300 AU - Paseka, Jan - Janda, Jiří PY - 2012 TI - A Dynamic Effect Algebras with dual operation JF - MATHEMATICS FOR APPLICATIONS VL - 1 IS - 1 SP - 79-89 EP - 79-89 SN - 18053610 KW - effect algebra KW - lattice effect algebra KW - tense operators KW - dynamic effect algebra UR - http://ma.fme.vutbr.cz/archiv/1_1/79_89.pdf L2 - http://ma.fme.vutbr.cz/archiv/1_1/79_89.pdf N2 - 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. ER -
PASEKA, Jan a Jiří JANDA. A Dynamic Effect Algebras with dual operation. \textit{MATHEMATICS FOR APPLICATIONS}. Brno, 2012, roč.~1, č.~1, s.~79-89. ISSN~1805-3610.
|