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 条
  • [21] Arithmetic complexity of the predicate logics of certain complete arithmetic theories
    Plisko, V
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2002, 113 (1-3) : 243 - 259
  • [22] On Free Models for Horn Clauses over Predicate Fuzzy Logics
    Costa, Vicent
    Dellunde, Pilar
    [J]. ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2015, 277 : 49 - 58
  • [23] Decidability and Complexity of Fuzzy Description Logics
    Baader F.
    Borgwardt S.
    Peñaloza R.
    [J]. KI - Künstliche Intelligenz, 2017, 31 (1) : 85 - 90
  • [24] Fuzzy logic and arithmetical hierarchy, II
    Hájek P.
    [J]. Studia Logica, 1997, 58 (1) : 129 - 141
  • [25] Fuzzy Description Logics - A Survey
    Borgwardt, Stefan
    Penaloza, Rafael
    [J]. SCALABLE UNCERTAINTY MANAGEMENT (SUM 2017), 2017, 10564 : 31 - 45
  • [26] A SURVEY OF COMPLEXITY RESULTS FOR NONMONOTONIC LOGICS
    CADOLI, M
    SCHAERF, M
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1993, 17 (2-4): : 127 - 160
  • [27] Predicate logics on display
    Wansing H.
    [J]. Studia Logica, 1999, 62 (1) : 49 - 75
  • [28] Complexity of some language fragments of fuzzy logics
    Zuzana Haniková
    [J]. Soft Computing, 2017, 21 : 69 - 77
  • [29] Complexity of some language fragments of fuzzy logics
    Hanikova, Zuzana
    [J]. SOFT COMPUTING, 2017, 21 (01) : 69 - 77
  • [30] Some complexity results on fuzzy description logics
    Bonatti, PA
    Tettamanzi, AGB
    [J]. FUZZY LOGIC AND APPLICATIONS, 2006, 2955 : 19 - 24
12345