1ST ORDER PREDICATE LOGIC WITH GENERALIZED QUANTIFIERS

被引：0

|

作者：

LINDSTROM, P ^{[1
]}

机构：

[1] UNIV GOTHENBURG,GOTHENBURG,SWEDEN

来源：

THEORIA | 1966年 / 32卷

关键词：

D O I：

暂无

中图分类号：

C [社会科学总论];

学科分类号：

03 ; 0303 ;

摘要：

引用

收藏

页码：186 / 195

页数：10

相关论文

共 50 条

[1] EMBEDDING 1ST ORDER PREDICATE LOGIC IN FRAGMENTS OF INTUITIONISTIC LOGIC
LOB, MH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (04) : 705 - 718
[2] CHARACTERIZING 2ND ORDER LOGIC WITH 1ST ORDER QUANTIFIERS
HAREL, D
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (05): : 419 - 422
[3] CRITERION OF FUNCTIONAL COMPLETENESS IN THE CLASSICAL PREDICATE LOGIC OF THE 1ST ORDER
KUZNETSOV, AV
RATSA, MF
[J]. DOKLADY AKADEMII NAUK SSSR, 1979, 249 (03): : 540 - 544
[4] Generalized Quantifiers and Fisrt order logic
Frigerio, Aldo
[J]. EPISTEMOLOGIA, 2007, 30 (02): : 211 - 233
[5] ON THE ROLE OF RAMSEY QUANTIFIERS IN 1ST ORDER ARITHMETIC
SCHMERL, JH
SIMPSON, SG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (02) : 423 - 435
[6] EQUATIONAL METHODS IN 1ST ORDER PREDICATE CALCULUS
PAUL, E
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (01) : 7 - 29
[7] 1ST ORDER DATA-TYPES AND 1ST ORDER LOGIC
TREINEN, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 594 - 614
[8] Generalized quantifiers and first order logic - II
Frigerio, Aldo
[J]. EPISTEMOLOGIA, 2008, 31 (01): : 3 - 26
[9] 1ST ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 319 - 320
[10] 1ST ORDER MATHEMATICAL LOGIC - MARGARIS,A
KENIG, HP
[J]. REVIEW OF METAPHYSICS, 1968, 21 (03): : 556 - 556

← 1 2 3 4 5 →