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 条

[1] THE ALGEBRA OF 1ST-ORDER FUZZY-LOGIC
TURUNEN, E
[J]. KYBERNETIKA, 1992, 28 (06) : 506 - 511
[2] TOWARDS A FUZZY-LOGIC PROGRAMMING SYSTEM - A 1ST-ORDER FUZZY-LOGIC
RHODES, PC
MENANI, SM
[J]. KNOWLEDGE-BASED SYSTEMS, 1992, 5 (02) : 106 - 116
[3] ON THE SYNTACTICO-SEMANTICAL COMPLETENESS OF 1ST-ORDER FUZZY-LOGIC .1. SYNTAX AND SEMANTICS
NOVAK, V
[J]. KYBERNETIKA, 1990, 26 (01) : 47 - 66
[4] CONCEPTUAL COMPLETENESS FOR 1ST-ORDER INTUITIONISTIC LOGIC
PITTS, AM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1079 - 1079
[5] STRONG CONCEPTUAL COMPLETENESS FOR 1ST-ORDER LOGIC
MAKKAI, M
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1988, 40 (02) : 167 - 215
[6] A COMPLETENESS THEOREM OF 1ST-ORDER TEMPORAL LOGIC WITH EQUALITY
TANG, TG
[J]. SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1985, 28 (05): : 532 - 540
[7] CONCEPTUAL COMPLETENESS FOR 1ST-ORDER INTUITIONISTIC LOGIC - AN APPLICATION OF CATEGORICAL LOGIC
PITTS, AM
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1989, 41 (01) : 33 - 81
[8] 2 RESULTS IN INTUITIONISTIC FUZZY-LOGIC
GARGOV, GK
ATANASSOV, KT
[J]. DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1992, 45 (12): : 29 - 31
[9] GENERALIZATION OF THE 1ST-ORDER LOGIC
FERENCZI, M
[J]. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1978, 22 (2-3): : 157 - 170
[10] 1ST-ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 844 - 844

← 1 2 3 4 5 →