THE BOOLEAN-ALGEBRA OF FORMULAS OF 1ST-ORDER LOGIC

被引：2

|

作者：

FAUST, DH

机构：

来源：

ANNALS OF MATHEMATICAL LOGIC | 1982年 / 23卷 / 01期

关键词：

D O I：

10.1016/0003-4843(82)90009-2

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：27 / 53

页数：27

相关论文

共 50 条

[1] ON BOOLEAN-ALGEBRA AND SENTENCE LOGIC
WHELDEN, R
[J]. SPECULATIONS IN SCIENCE AND TECHNOLOGY, 1985, 8 (02) : 121 - 122
[2] LOGIC AND BOOLEAN-ALGEBRA - ARNOLD,BH
不详
[J]. PSYCHOLOGICAL REPORTS, 1963, 12 (03) : 943 - 943
[3] THE ALGEBRA OF 1ST-ORDER FUZZY-LOGIC
TURUNEN, E
[J]. KYBERNETIKA, 1992, 28 (06) : 506 - 511
[4] ON EXPANDING BOOLEAN-ALGEBRA INTO A NEW DUAL-BIFORM LOGIC ALGEBRA
ALESSO, HP
[J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 1990, 28 (02) : 255 - 263
[5] BOOLEAN-ALGEBRA AND SYLLOGISM
BOCHAROV, VA
[J]. SYNTHESE, 1986, 66 (01) : 34 - 54
[6] THE BOOLEAN-ALGEBRA OF PREDICATES
KUHNRICH, M
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 355 - 360
[7] LEIBNIZ AND BOOLEAN-ALGEBRA
LENZEN, W
[J]. STUDIA LEIBNITIANA, 1984, 16 (02) : 187 - 203
[8] GENERALIZATION OF THE 1ST-ORDER LOGIC
FERENCZI, M
[J]. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1978, 22 (2-3): : 157 - 170
[9] 1ST-ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 844 - 844
[10] ON COMPLETE BOOLEAN-ALGEBRA OF PROJECTIONS
JIBRIL, AAS
[J]. ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 1984, 9 (01): : 51 - 53

← 1 2 3 4 5 →