| dc.contributor.author | Di Nola, Antonio | |
| dc.contributor.author | Holčapek, Michal | |
| dc.contributor.author | Jenča, Gejza | |
| dc.date.accessioned | 2009-09-18T07:51:24Z | |
| dc.date.available | 2009-09-18T07:51:24Z | |
| dc.date.issued | 2009 | |
| dc.identifier.citation | Logic Journal of the IGPL. 2009, vol. 17, no. 4, p. 395-412. | en |
| dc.identifier.issn | 1367-0751 | |
| dc.identifier.issn | 1368-9894 | |
| dc.identifier.uri | http://hdl.handle.net/10084/75996 | |
| dc.description.abstract | An MV-pair is a pair (B,G), where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain condition. Recently it was proved by one of the authors that for an MV-pair (B,G), G is an effect-algebraic congruence and B/G is an MV-algebra. Moreover, every MV-algebra M can be represented by an MV-pair in this way.
In this paper we show that one can define a suitable category of MV-pairs in such a way that there exist a faithful functor from the category of MV-algebras to the aforementioned category and a functor in the reversed direction. | en |
| dc.format.extent | 248179 bytes | cs |
| dc.format.mimetype | application/pdf | cs |
| dc.language.iso | en | en |
| dc.publisher | Oxford University Press | en |
| dc.relation.ispartofseries | Logic Journal of the IGPL | en |
| dc.relation.uri | http://dx.doi.org/10.1093/jigpal/jzp017 | en |
| dc.subject | MV-algebra | en |
| dc.subject | Boolean algebra | en |
| dc.subject | MV-pair | en |
| dc.title | The category of MV-pairs | en |
| dc.type | article | en |
| dc.identifier.location | Není ve fondu ÚK | en |
| dc.identifier.doi | 10.1093/jigpal/jzp017 | |
| dc.rights.access | openAccess | |
| dc.type.version | submittedVersion | |
| dc.identifier.wos | 000268111700004 | |