DATALOG VS 1ST-ORDER LOGIC

被引：12

|

作者：

AJTAI, M

GUREVICH, Y

机构：

来源：

30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE | 1989年

关键词：

D O I：

10.1109/SFCS.1989.63469

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：142 / 147

页数：6

相关论文

共 50 条

[21] A DEFINITIVE" PROBABILISTIC SEMANTICS FOR 1ST-ORDER LOGIC
BENDALL, K
JOURNAL OF PHILOSOPHICAL LOGIC, 1982, 11 (03) : 255 - 278
[22] ARITHMETICAL AXIOMATIZATION OF 1ST-ORDER TEMPORAL LOGIC
SZALAS, A
INFORMATION PROCESSING LETTERS, 1987, 26 (03) : 111 - 116
[23] SHOULD 1ST-ORDER LOGIC BE NEURALLY PLAUSIBLE
TOURETZKY, DS
FAHLMAN, SE
BEHAVIORAL AND BRAIN SCIENCES, 1993, 16 (03) : 474 - 475
[24] STRONG CONCEPTUAL COMPLETENESS FOR 1ST-ORDER LOGIC
MAKKAI, M
ANNALS OF PURE AND APPLIED LOGIC, 1988, 40 (02) : 167 - 215
[25] INCOMPLETENESS OF 1ST-ORDER TEMPORAL LOGIC WITH UNTIL
SZALAS, A
HOLENDERSKI, L
THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) : 317 - 325
[26] A 1ST-ORDER LOGIC FOR PARTIAL RECURSIVE FUNCTIONS
GAVILANESFRANCO, A
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 277 - 284
[27] FRAGMENTS OF 1ST-ORDER LOGIC .1. UNIVERSAL HORN LOGIC
MCNULTY, GF
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (02) : 221 - 237
[28] A COMPLETENESS THEOREM OF 1ST-ORDER TEMPORAL LOGIC WITH EQUALITY
TANG, TG
SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1985, 28 (05): : 532 - 540
[29] 1ST-ORDER LOGIC AND STAR-FREE SETS
PERRIN, D
PIN, JE
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 32 (03) : 393 - 406
[30] FIXED-POINT EXTENSIONS OF 1ST-ORDER LOGIC
GUREVICH, Y
SHELAH, S
ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (03) : 265 - 280

← 1 2 3 4 5 →