ARITHMETICAL COMPLEXITY OF PROVABILITY PREDICATE LOGICS AND THEIR FRAGMENTS

被引：0

|

作者：

VARDANIAN, VA

机构：

来源：

DOKLADY AKADEMII NAUK SSSR | 1986年 / 288卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：11 / 14

页数：4

相关论文

共 50 条

[1] On arithmetical complexity of fragments of prominent fuzzy predicate logics
Petr Hájek
[J]. Soft Computing, 2008, 12 : 335 - 340
[2] On arithmetical complexity of fragments of prominent fuzzy predicate logics
Hajek, Petr
[J]. SOFT COMPUTING, 2008, 12 (04) : 335 - 340
[3] NON-ARITHMETICAL BEHAVIOR OF TRUTH PREDICATE LOGICS OF PROVABILITY
ARTEMOV, SN
[J]. DOKLADY AKADEMII NAUK SSSR, 1985, 284 (02): : 270 - 271
[4] On predicate provability logics and binumerations of fragments of Peano arithmetic
Kurahashi, Taishi
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (7-8) : 871 - 880
[5] On predicate provability logics and binumerations of fragments of Peano arithmetic
Taishi Kurahashi
[J]. Archive for Mathematical Logic, 2013, 52 : 871 - 880
[6] Arithmetical complexity of fuzzy predicate logics -: a survey
Hájek, P
[J]. SOFT COMPUTING, 2005, 9 (12) : 935 - 941
[7] Arithmetical complexity of fuzzy predicate logics – a survey
P. Hájek
[J]. Soft Computing, 2005, 9 : 935 - 941
[8] Arithmetical complexity of fuzzy predicate logics - A survey II
Hajek, Petr
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (02) : 212 - 219
[9] ON THE EFFECTIVE PREDICATE LOGICS OF PROVABILITY
ARTEMOV, SN
DZHAPARIDZE, GK
[J]. DOKLADY AKADEMII NAUK SSSR, 1987, 297 (03): : 521 - 523
[10] FINITE KRIPKE MODELS AND PREDICATE LOGICS OF PROVABILITY
ARTEMOV, S
DZHAPARIDZE, G
[J]. JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1090 - 1098

← 1 2 3 4 5 →