ON THE SYNTACTICOSEMANTICAL COMPLETENESS OF 1ST-ORDER FUZZY-LOGIC .2. MAIN RESULTS

被引：0

|

作者：

NOVAK, V

机构：

来源：

KYBERNETIKA | 1990年 / 26卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：134 / 154

页数：21

相关论文

共 50 条

[41] FIXED-POINT EXTENSIONS OF 1ST-ORDER LOGIC
GUREVICH, Y
SHELAH, S
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (03) : 265 - 280
[42] THE BOOLEAN-ALGEBRA OF FORMULAS OF 1ST-ORDER LOGIC
FAUST, DH
[J]. ANNALS OF MATHEMATICAL LOGIC, 1982, 23 (01): : 27 - 53
[43] THE COMPACTNESS OF 1ST-ORDER LOGIC, FROM GODEL TO LINDSTROM
DAWSON, JW
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 1993, 14 (01) : 15 - 37
[44] TOWARDS AN ADEQUATE DEFINITION OF DISTRIBUTION FOR 1ST-ORDER LOGIC
FRIEDMAN, JI
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1995, 24 (02) : 161 - 192
[45] PARALLEL THEORIES AND ROUTINE REVISION IN 1ST-ORDER LOGIC
STAHL, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (05): : 457 - 459
[46] POSITIVE 1ST-ORDER LOGIC IS NP-COMPLETE
KOZEN, D
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1981, 25 (04) : 327 - 332
[47] A PHILOSOPHICAL COMPANION TO 1ST-ORDER LOGIC - HUGHES,RIG
LOWE, EJ
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 1994, 15 (02) : 255 - 256
[48] EXTENDING ABDUCTION FROM PROPOSITIONAL TO 1ST-ORDER LOGIC
MARQUIS, P
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 141 - 155
[49] A FRAGMENT OF 1ST-ORDER LOGIC ADEQUATE FOR OBSERVATION EQUIVALENCE
OGUZTUZUN, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 278 - 292
[50] DISPERSIVE 1ST-ORDER REACTIONS .2. PHOTOCHROMIC MODEL SYSTEM
ALBRECHT, U
SCHAFER, H
RICHERT, R
[J]. CHEMICAL PHYSICS, 1994, 182 (01) : 61 - 68

← 1 2 3 4 5 →