Počet záznamů: 1
Fuzzy Logic and Arithmetical Hierarchy III
- 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. E-ISSN 1572-8730
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
Počet záznamů: 1