URN MODELS - NEW KIND OF NONSTANDARD MODEL FOR 1ST-ORDER LOGIC

被引：16

|

作者：

RANTALA, V ^{[1
]}

机构：

[1] ACAD FINLAND,HELSINKI,FINLAND

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 1975年 / 4卷 / 04期

关键词：

D O I：

10.1007/BF00558760

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

收藏

页码：455 / 474

页数：20

相关论文

共 50 条

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

← 1 2 3 4 5 →