FRAGMENTS OF 1ST-ORDER LOGIC .1. UNIVERSAL HORN LOGIC

被引：10

作者：

MCNULTY, GF ^{[1
]}

机构：

[1] UNIV S CAROLINA,COLUMBIA,SC 29208

来源：

关键词：

D O I：

10.2307/2272123

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：221 / 237

页数：17

共 50 条

[1] GENERALIZATION OF THE 1ST-ORDER LOGIC
FERENCZI, M
[J]. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1978, 22 (2-3): : 157 - 170
[2] 1ST-ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 844 - 844
[3] FORMAL LANGUAGES AND 1ST-ORDER LOGIC
THOMAS, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 303 - 303
[4] DATALOG VS 1ST-ORDER LOGIC
AJTAI, M
GUREVICH, Y
[J]. 30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 1989, : 142 - 147
[5] DUALITY AND DEFINABILITY IN 1ST-ORDER LOGIC
MAKKAI, M
[J]. MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1993, 105 (503) : R3 - &
[6] THE CONTINUUM AND 1ST-ORDER INTUITIONISTIC LOGIC
VANDALEN, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (04) : 1417 - 1424
[7] THE NONDEFINABILITY NOTION AND 1ST-ORDER LOGIC
KRYNICKI, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1070 - 1070
[8] SOFTWARE TOOLS FOR 1ST-ORDER LOGIC
CUNNINGHAM, RJ
ZAPPACOSTAAMBOLDI, S
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (11): : 1019 - 1025
[9] PROBABILISTIC SEMANTICS FOR 1ST-ORDER LOGIC
LEBLANC, H
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (06): : 497 - 509
[10] EQUATIONAL TREATMENT OF 1ST-ORDER LOGIC
MYCIELSKI, J
[J]. ALGEBRA UNIVERSALIS, 1995, 33 (01) : 26 - 39