PASEKA, Jan and Jiří JANDA. A Dynamic Effect Algebras with dual operation. MATHEMATICS FOR APPLICATIONS. Brno, 2012, vol. 1, No 1, p. 79-89. ISSN 1805-3610.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name A Dynamic Effect Algebras with dual operation
Authors PASEKA, Jan (203 Czech Republic, guarantor, belonging to the institution) and Jiří JANDA (203 Czech Republic).
Edition MATHEMATICS FOR APPLICATIONS, Brno, 2012, 1805-3610.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10101 Pure mathematics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14310/12:00062908
Organization unit Faculty of Science
Keywords in English effect algebra; lattice effect algebra; tense operators; dynamic effect algebra
Tags AKR, rivok
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Jan Paseka, CSc., učo 1197. Changed: 11/2/2013 16:24.
Abstract
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.
Links
EE2.3.20.0051, research and development projectName: Algebraické metody v kvantové logice
PrintDisplayed: 21/5/2024 20:47