@Article{CignoliMundiciNavaraKleene,
  IS = { zkontrolovano 29 Dec 2006 },
  UPDATE  = { 2006-12-15 },
  author =     {Cignoli, Roberto and Mundici, Daniele and Navara, Mirko},
  title =      {Kleene-isomorphic Sigma-complete {MV}-algebras with product are isomorphic},
  year =       {2006},
  pages =      {1--8},
  journal =    {Journal of Multiple-Valued Logic and Soft Computing},
  publisher =  {Old City Publishing},
  address =    {Philadelphia, USA},
  issn =       {1542-3980},
  volume =     {10},
  number =     {1--2},
  importance = {1},
  authorship = {34-33-33},
  annote = {We prove that the Kleene structure in a sigma-complete
    MV-algebra with product is sufficient to recover the
    MV-structure.},
  keywords =   {MV-algebra, Kleene algebra, isomorphism, lattice, 
                ideal, MV-algebra with product},
  project =    {MSM 6840770012, MIRACLE ICA1-CT-2000-70002},
  psurl = {[PDF]},
}