Počet záznamů: 1  

Fuzzy Logic and Arithmetical Hierarchy III

  1. 1.
    0403958 - UIVT-O 20010016 RIV NL eng J - Článek v odborném periodiku
    Hájek, Petr
    Fuzzy Logic and Arithmetical Hierarchy III.
    Studia Logica. Roč. 68, č. 1 (2001), s. 129-142. ISSN 0039-3215
    Grant CEP: GA AV ČR IAA1030004
    Výzkumný záměr: AV0Z1030915
    Klíčová slova: fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy
    Kód oboru RIV: BA - Obecná matematika

    Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satisfiable sentences (sentences true in at least one interpretation) as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.
    Trvalý link: http://hdl.handle.net/11104/0124243