A dynamic Effect Algebras with Dual Operation
| dc.contributor.author | Paseka, Jan | |
| dc.contributor.author | Janda, Jiří | |
| dc.coverage.issue | 1 | cs |
| dc.coverage.volume | 1 | cs |
| dc.date.accessioned | 2013-03-04T16:10:48Z | |
| dc.date.available | 2013-03-20T06:00:07Z | |
| dc.date.issued | 2012 | cs |
| dc.description.abstract | Tense operators for MV-algebras were introduced by Diaconescu and Georgescu. Based on their de nition Chajda and Kola r k presented the de nition of tense operators for lattice e ect algebras. Chajda and Paseka tackled the problem of axiomatizing tense operators on an e ect algebra by introducing the notion of a partial dynamic e ect algebra. They also gave representation theorems for dynamic e ect algebras. We continue to extend their work for partial S-dynamic e ect algebras i.e. in the case when tense operators satisfy required conditions also for the dual e ect algebraic operation . We show that whenever tense operators are total our stronger notion coincides with their de nition. We give also a representation theorem for partial S-dynamic e ect algebras and its version for strict dynamic e ect algebras. | en |
| dc.format | text | cs |
| dc.format.extent | 79-89 | cs |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.citation | Mathematics for Applications. 2012, 1, č. 1, s. 79-89. ISSN 1805-3629. | cs |
| dc.identifier.doi | 10.13164/ma.2012.05 | en |
| dc.identifier.issn | 1805-3629 | |
| dc.identifier.uri | http://hdl.handle.net/11012/19543 | |
| dc.language.iso | en | cs |
| dc.publisher | Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky | cs |
| dc.relation.ispartof | Mathematics of Applications | en |
| dc.relation.uri | http://ma.fme.vutbr.cz/archiv/1_1/79_89.pdf | cs |
| dc.rights | © Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky | cs |
| dc.rights.access | openAccess | en |
| dc.title | A dynamic Effect Algebras with Dual Operation | en |
| dc.type.driver | article | en |
| dc.type.status | Peer-reviewed | en |
| dc.type.version | publishedVersion | en |
| eprints.affiliatedInstitution.department | Ústav matematiky | cs |
| eprints.affiliatedInstitution.faculty | Fakulta strojního inženýrství | cs |