Fuzzy Logic and Arithmetical Hierarchy III

Number of the records: 1

1.

SYSNO ASEP	0403958
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve SCOPUS
Title	Fuzzy Logic and Arithmetical Hierarchy III
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI}
Source Title	Studia Logica. - : Springer - ISSN 0039-3215 Roč. 68, č. 1 (2001), s. 129-142
Number of pages	15 s.
Language	eng - English
Country	NL - Netherlands
Keywords	fuzzy logic ; basic fuzzy logic ; Lukasiewicz logic ; Godel logic ; product logic ; arithmetical hierarchy
Subject RIV	BA - General Mathematics
R&D Projects	IAA1030004 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	1030915
EID SCOPUS	0242536614
DOI	10.1023/A:1011906423560
Annotation	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.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2002

Number of the records: 1