@InBook{DiNolaNavara:CB_M11, IS = { zkontrolovano 16 Dec 2007 - zadano jako sbornik}, UPDATE = { 2007-12-11 }, author = {Di~Nola, Antonio and Navara, Mirko}, title = {Algebraic and Proof-theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday}, year = {2007}, pages = {107--118}, chapter = {{C}antor--{B}ernstein property for {MV-}algebras}, editor = {S.~Aguzzoli, A.~Ciabattoni, B.~Gerla, C~Manara, V.~Marra}, publisher = {Springer}, address = {Berlin, Germany}, isbn = {978-3-540-75938-6}, book_pages = {309}, series = {Lecture Notes in Computer Science}, volume = {4460}, edition = {1}, importance = {1}, authorship = {50-50}, annote = {Generalizations of the Cantor -Bernstein theorem have been proved for different types of algebras. We ask which algebras satisfy the Cantor- Bernstein theorem without any additional assumption. In the case of orthomodular lattices, it has been proved that this class is rather large. We study the analogous question for MV-algebras and we find out interesting examples of MV-algebras which possess or do not possess this property.}, keywords = {Cantor--Bernstein theorem, orthomodular lattice, MV-algebra}, type = {chapter}, project = {GACR 201/07/1136}, psurl = {[PDF]}, conference = {MANYVAL06: International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning}, venue = {Gargnano, Italy}, organization ={University of Milan, Milan, Italy}, }