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},