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 条

[1] Arithmetical complexity of fuzzy predicate logics -: a survey
Hájek, P
[J]. SOFT COMPUTING, 2005, 9 (12) : 935 - 941
[2] Arithmetical complexity of fuzzy predicate logics – a survey
P. Hájek
[J]. Soft Computing, 2005, 9 : 935 - 941
[3] On arithmetical complexity of fragments of prominent fuzzy predicate logics
Petr Hájek
[J]. Soft Computing, 2008, 12 : 335 - 340
[4] On arithmetical complexity of fragments of prominent fuzzy predicate logics
Hajek, Petr
[J]. SOFT COMPUTING, 2008, 12 (04) : 335 - 340
[5] ARITHMETICAL COMPLEXITY OF PROVABILITY PREDICATE LOGICS AND THEIR FRAGMENTS
VARDANIAN, VA
[J]. DOKLADY AKADEMII NAUK SSSR, 1986, 288 (01): : 11 - 14
[6] Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
Montagna, Franco
Noguera, Carles
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (02) : 399 - 424
[7] Predicate logics of constructive arithmetical theories
Visser, Albert
[J]. JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (04) : 1311 - 1326
[8] Complexity of fuzzy probability logics II
Hajek, Petr
[J]. FUZZY SETS AND SYSTEMS, 2007, 158 (23) : 2605 - 2611
[9] Monadic fuzzy predicate logics
Hájek P.
[J]. Studia Logica, 2002, 71 (2) : 165 - 175
[10] NON-ARITHMETICAL BEHAVIOR OF TRUTH PREDICATE LOGICS OF PROVABILITY
ARTEMOV, SN
[J]. DOKLADY AKADEMII NAUK SSSR, 1985, 284 (02): : 270 - 271

← 1 2 3 4 5 →