@Article{HorcikCintula:Arch04,
  IS = { zkontrolovano 13 Jan 2005 },
  UPDATE  = { 2004-07-02 },
  author =     { Hor{\v c}{\' \i }k, Rostislav and Cintula, Petr },
  title =      { Product {\L}ukasiewicz Logic },
  year =       { 2004 },
  month =      { May },
  pages =      { 477-503 },
  journal =    { Archive for Mathematical Logic },
  publisher =  { Springer-Verlag },
  address =    { Heidelberg, Germany },
  issn =       { 0933-5846 },
  volume =     { 43 },
  number =     { 4 },
  authorship = { 50-50 },
  annote =     { Among all many-valued logics the Lu logic plays a
             fundamental role.  However expressive power of this logic
             is restricted to piecewise linear functions. In this
             paper we enrich the language of Lu logic by adding a new
             connective which expresses multiplication.  The resulting
             logic PL is defined and developed. We also deal with
             several extensions of this logic. At the end of the
             paper, the predicate version of PL logic is introduced
             and developed. },
  keywords =   { {\L}ukasiewicz logic, MV-algebras, product MV-algebras },
  project =    { GACR 201/02/1540, CTU 0208613, CEEPUS SK-042, IAA1030004 },
}