Number of the records: 1
Fuzzy Logic and Arithmetical Hierarchy III
- 1.0403958 - UIVT-O 20010016 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy
Subject RIV: BA - General Mathematics
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.
Permanent Link: http://hdl.handle.net/11104/0124243
Number of the records: 1