Arithmetical complexity of fuzzy predicate logics - A survey II

被引：6
|
作者：
Hajek, Petr [1 ]
机构：
[1] Acad Sci Czech Republ, Inst Comp Sci, Prague 18207, Czech Republic
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2009年 / 161卷 / 02期
关键词：
Fuzzy predicate logics; Arithmetical hierarchy; Tautologies;
D O I：
10.1016/j.apal.2009.05.015
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfiable formulas,...) are surveyed and some new results are proven. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码：212 / 219
页数：8
相关论文
共 50 条
12345