Fuzzy logic and arithmetical hierarchy III

被引：18
|
作者：
Hájek P. [1 ]
机构：
[1] Institute of Computer Science, Academy of Sciences of the Czech Republic, 2 182 07 Prague, Pod Vodárenskou Věží
来源：
Studia Logica | 2001年 / 68卷 / 1期
关键词：
Arithmetical hierarchy; Basic fuzzy logic; Fuzzy logic; Gödel logic; Product logic; ŁUkasiewicz logic;
D O I：
10.1023/A:1011906423560
中图分类号：
学科分类号：
摘要：
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. © 2001 Kluwer Academic Publishers.
引用
收藏
页码：129 / 142
页数：13
相关论文
共 50 条
12345