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 条

[31] 1ST-ORDER LOGIC AND STAR-FREE SETS
PERRIN, D
PIN, JE
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 32 (03) : 393 - 406
[32] FIXED-POINT EXTENSIONS OF 1ST-ORDER LOGIC
GUREVICH, Y
SHELAH, S
ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (03) : 265 - 280
[33] THE COMPACTNESS OF 1ST-ORDER LOGIC, FROM GODEL TO LINDSTROM
DAWSON, JW
HISTORY AND PHILOSOPHY OF LOGIC, 1993, 14 (01) : 15 - 37
[34] TOWARDS AN ADEQUATE DEFINITION OF DISTRIBUTION FOR 1ST-ORDER LOGIC
FRIEDMAN, JI
JOURNAL OF PHILOSOPHICAL LOGIC, 1995, 24 (02) : 161 - 192
[35] THE BOOLEAN-ALGEBRA OF FORMULAS OF 1ST-ORDER LOGIC
FAUST, DH
ANNALS OF MATHEMATICAL LOGIC, 1982, 23 (01): : 27 - 53
[36] CONCEPTUAL COMPLETENESS FOR 1ST-ORDER INTUITIONISTIC LOGIC - AN APPLICATION OF CATEGORICAL LOGIC
PITTS, AM
ANNALS OF PURE AND APPLIED LOGIC, 1989, 41 (01) : 33 - 81
[37] EXTENDING ABDUCTION FROM PROPOSITIONAL TO 1ST-ORDER LOGIC
MARQUIS, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 141 - 155
[38] POSITIVE 1ST-ORDER LOGIC IS NP-COMPLETE
KOZEN, D
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1981, 25 (04) : 327 - 332
[39] A PHILOSOPHICAL COMPANION TO 1ST-ORDER LOGIC - HUGHES,RIG
LOWE, EJ
HISTORY AND PHILOSOPHY OF LOGIC, 1994, 15 (02) : 255 - 256
[40] A FRAGMENT OF 1ST-ORDER LOGIC ADEQUATE FOR OBSERVATION EQUIVALENCE
OGUZTUZUN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 278 - 292

← 1 2 3 4 5 →