@InBook{Navara:WitnessedYears10,
  UPDATE  = { 2010-02-18 },
  IS = { zkontrolovano 18 Feb 2010 },
  author =      {Mirko Navara},
  title =       {Witnessed Years},
  year =        {2009},
  pages =       {227--241},
  chapter =     {What is primary: negation or implication?},
  editor =      {Cintula, Petr and Hanikov{\' a}, Zuzana and {\v S}vejdar, V{\' \i}t{\v e}zslav},
  publisher =   {King's College},
  address =     {London, UK},
  isbn =        {978-1-904987-63-5},
  book_pages =  {416},
  series =      {Tributes},
  number =      {10},
  edition =     {1},
  importance =  {1},
  annote = {We compare R-fuzzy logics (based on an implication
    interpreted by the residuum of a triangular norm) and S-fuzzy
    logics (based on an involutive negation and using a different
    interpretation of implication). We show that the former approach
    (promoted by Petr H{\' a}jek) leads to much richer logical results.
    Then we discuss extensions of R-fuzzy logics by an involutive
    negation as a new connective. These combine the features of both
    preceding approaches. We summarize recent results of this branch
    of research (which was also initiated by Petr H{\' a}jek).  },
  e_annote = {We compare R-fuzzy logics (based on an implication
    interpreted by the residuum of a triangular norm) and S-fuzzy
    logics (based on an involutive negation and using a different
    interpretation of implication). We show that the former approach
    (promoted by Petr H\'{a}jek) leads to much richer logical results.
    Then we discuss extensions of R-fuzzy logics by an involutive
    negation as a new connective. These combine the features of both
    preceding approaches. We summarize recent results of this branch
    of research (which was also initiated by Petr H\'{a}jek).  },
  keywords =    {fuzzy set, fuzzy logic, involutive fuzzy negation,
                 triangular norm, Hamacher product},
  type =        {chapter},
  project =    {MSM 6840770038},
  psurl       = {[PDF]},
}