2ND-ORDER LOGIC

被引：67

|

作者：

BOOLOS, GS ^{[1
]}

机构：

[1] MIT,CAMBRIDGE,MA

来源：

JOURNAL OF PHILOSOPHY | 1975年 / 72卷 / 16期

关键词：

D O I：

10.2307/2025179

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：509 / 527

页数：19

相关论文

共 50 条

[31] ON AN INTERPRETATION OF 2ND-ORDER QUANTIFICATION IN 1ST ORDER INTUITIONISTIC PROPOSITIONAL LOGIC
PITTS, AM
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (01) : 33 - 52
[32] THE MONADIC 2ND-ORDER LOGIC OF GRAPHS - DEFINABLE SETS OF FINITE GRAPHS
COURCELLE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 344 : 30 - 53
[33] STABLE 2ND-ORDER ACCURATE ITERATIVE SOLUTIONS FOR 2ND-ORDER ELLIPTIC PROBLEMS
LIN, A
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS, 1989, 9 (05) : 583 - 598
[34] A REGULAR CHARACTERIZATION OF GRAPH LANGUAGES DEFINABLE IN MONADIC 2ND-ORDER LOGIC
ENGELFRIET, J
THEORETICAL COMPUTER SCIENCE, 1991, 88 (01) : 139 - 150
[35] FOUNDATIONS WITHOUT FOUNDATIONALISM - A CASE FOR 2ND-ORDER LOGIC - SHAPIRO,S
POTTER, M
PHILOSOPHICAL QUARTERLY, 1994, 44 (174): : 127 - 129
[36] 2nd-order summation experiments indicate narrow 2nd-order channel bandwidth
Oruc, I
Landy, MS
INVESTIGATIVE OPHTHALMOLOGY & VISUAL SCIENCE, 2000, 41 (04) : S805 - S805
[37] ADAPTIVE 2ND-ORDER VOLTERRA FILTERING AND ITS APPLICATION TO 2ND-ORDER DRIFT PHENOMENA
KIM, K
KIM, SB
POWERS, EJ
MIKSAD, RW
FISCHER, FJ
IEEE JOURNAL OF OCEANIC ENGINEERING, 1994, 19 (02) : 183 - 192
[38] CONSTRUCT-VALIDITY AND 2ND-ORDER FACTORIAL MODEL - THE 2ND-ORDER FACTOR MODEL
BELAND, F
MAHEUX, B
QUALITY & QUANTITY, 1989, 23 (02) : 143 - 159
[39] THE MONADIC 2ND-ORDER LOGIC OF GRAPHS .7. GRAPHS AS RELATIONAL STRUCTURES
COURCELLE, B
THEORETICAL COMPUTER SCIENCE, 1992, 101 (01) : 3 - 33
[40] CLASSICAL-LOGIC, STORAGE OPERATORS AND 2ND-ORDER LAMBDA-CALCULUS
KRIVINE, JL
ANNALS OF PURE AND APPLIED LOGIC, 1994, 68 (01) : 53 - 78

← 1 2 3 4 5 →