Počet záznamů: 1

Fuzzy Logic and Arithmetical Hierarchy III

SYSNO ASEP	0403958
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve SCOPUS
Název	Fuzzy Logic and Arithmetical Hierarchy III
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI}
Zdroj.dok.	Studia Logica. - : Springer - ISSN 0039-3215 Roč. 68, č. 1 (2001), s. 129-142
Poč.str.	15 s.
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
Klíč. slova	fuzzy logic ; basic fuzzy logic ; Lukasiewicz logic ; Godel logic ; product logic ; arithmetical hierarchy
Vědní obor RIV	BA - Obecná matematika
CEP	IAA1030004 GA AV ČR - Akademie věd
CEZ	1030915
EID SCOPUS	0242536614
DOI	10.1023/A:1011906423560
Anotace	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.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2002

Počet záznamů: 1