STONE DUALITY FOR 1ST ORDER LOGIC

被引：25

|

作者：

MAKKAI, M ^{[1
]}

机构：

[1] HEBREW UNIV JERUSALEM,INST ADV STUDIES,JERUSALEM,ISRAEL

来源：

ADVANCES IN MATHEMATICS | 1987年 / 65卷 / 02期

关键词：

D O I：

10.1016/0001-8708(87)90020-X

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：97 / 170

页数：74

相关论文

共 50 条

[1] 1ST ORDER DATA-TYPES AND 1ST ORDER LOGIC
TREINEN, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 594 - 614
[2] 1ST ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 319 - 320
[3] DUALITY AND DEFINABILITY IN 1ST-ORDER LOGIC
MAKKAI, M
[J]. MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1993, 105 (503) : R3 - &
[4] A 1ST ORDER LOGIC FOR PARTIAL FUNCTIONS
LUCIOCARRASCO, F
GAVILANESFRANCO, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 47 - 58
[5] 1ST ORDER MATHEMATICAL LOGIC - MARGARIS,A
KENIG, HP
[J]. REVIEW OF METAPHYSICS, 1968, 21 (03): : 556 - 556
[6] A 1ST ORDER LOGIC FOR PARTIAL FUNCTIONS
GAVILANESFRANCO, A
LUCIOCARRASCO, F
[J]. THEORETICAL COMPUTER SCIENCE, 1990, 74 (01) : 37 - 69
[7] ABSTRACTION IN 1ST ORDER MODAL LOGIC
STALNAKER, RC
THOMASON, RH
[J]. THEORIA, 1968, 34 : 203 - 207
[8] PROOF ALGORITHMS FOR 1ST ORDER FUNCTIONAL LOGIC
VEENKER, G
[J]. COMPUTING, 1967, 2 (03) : 263 - &
[9] A NOTE ON THE INTERPOLATION THEOREM IN 1ST ORDER LOGIC
WEAVER, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 215 - 218
[10] A NOTE ON THE COMPACTNESS THEOREM IN 1ST ORDER LOGIC
WEAVER, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (02): : 111 - 113

← 1 2 3 4 5 →