@Article{Horcik:FSS03,
  IS = { zkontrolovano 04 Mar 2005 },
  UPDATE  = { 2003-10-09 },
  author =     { Hor{\v c}{\' \i }k, Rostislav },
  title =      { Residuated Fuzzy Logics with Additional Connectives and Their Validation Sets },
  journal =    { Fuzzy Sets and Systems },
  publisher =  { Elsevier Science },
  address =    { Amsterdam, The Netherlands },
  issn =       { 0165-0114 },
  authorship = { 100 },
  annote =     { The validation set of a formula in a fuzzy logic is 
                 the set of all truth values which this formula may achieve. 
                 We summarize and extend recent results on characterizations 
                 of validation sets in various fuzzy logics. },
  keywords =   { fuzzy logic, many-valued logic, evaluation, validation set, 
                 {\L}ukasiewicz logic, G{\"o}del logic, product logic,
                 product logic with involution, fuzzy logic with $\Delta$ },
  project =    { GACR 201/02/1540, CTU0208613 },
year        = { 2004 },
month       = { April },
pages       = { 75-87 },
volume      = { 143 },
number      = { 1 },
}