ON THE SYNTACTICO-SEMANTICAL COMPLETENESS OF 1ST-ORDER FUZZY-LOGIC .1. SYNTAX AND SEMANTICS

被引：0

|

作者：

NOVAK, V

机构：

来源：

KYBERNETIKA | 1990年 / 26卷 / 01期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：47 / 66

页数：20

相关论文

共 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 SYNTACTICOSEMANTICAL COMPLETENESS OF 1ST-ORDER FUZZY-LOGIC .2. MAIN RESULTS
NOVAK, V
[J]. KYBERNETIKA, 1990, 26 (02) : 134 - 154
[4] PROBABILISTIC SEMANTICS FOR 1ST-ORDER LOGIC
LEBLANC, H
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (06): : 497 - 509
[5] CONCEPTUAL COMPLETENESS FOR 1ST-ORDER INTUITIONISTIC LOGIC
PITTS, AM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1079 - 1079
[6] STRONG CONCEPTUAL COMPLETENESS FOR 1ST-ORDER LOGIC
MAKKAI, M
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1988, 40 (02) : 167 - 215
[7] A DEFINITIVE" PROBABILISTIC SEMANTICS FOR 1ST-ORDER LOGIC
BENDALL, K
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1982, 11 (03) : 255 - 278
[8] 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
[9] 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
[10] FRAGMENTS OF 1ST-ORDER LOGIC .1. UNIVERSAL HORN LOGIC
MCNULTY, GF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (02) : 221 - 237

← 1 2 3 4 5 →