首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
2ND-ORDER LOGIC
被引:67
|
作者
:
BOOLOS, GS
论文数:
0
引用数:
0
h-index:
0
机构:
MIT,CAMBRIDGE,MA
MIT,CAMBRIDGE,MA
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 条
[1]
2ND-ORDER LOGIC AND LOGICISM
HANSON, WH
论文数:
0
引用数:
0
h-index:
0
HANSON, WH
MIND,
1990,
99
(393)
: 91
-
99
[2]
REDUCTION OF 2ND-ORDER LOGIC TO MODAL LOGIC
THOMASON, SK
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CANTERBURY,CHRISTCHURCH,ENGLAND
UNIV CANTERBURY,CHRISTCHURCH,ENGLAND
THOMASON, SK
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK,
1975,
21
(02):
: 107
-
114
[3]
2ND-ORDER LOGIC, FOUNDATIONS, AND RULES
SHAPIRO, S
论文数:
0
引用数:
0
h-index:
0
SHAPIRO, S
JOURNAL OF PHILOSOPHY,
1990,
87
(05):
: 234
-
261
[4]
2ND-ORDER LOGIC STILL WILD
RESNIK, MD
论文数:
0
引用数:
0
h-index:
0
RESNIK, MD
JOURNAL OF PHILOSOPHY,
1988,
85
(02):
: 75
-
87
[5]
PROPERTY THEORY AND 2ND-ORDER LOGIC
MENZEL, C
论文数:
0
引用数:
0
h-index:
0
MENZEL, C
JOURNAL OF SYMBOLIC LOGIC,
1986,
51
(03)
: 850
-
850
[6]
2ND-ORDER EVIDENCE AND BAYESIAN LOGIC
BRILMAYER, L
论文数:
0
引用数:
0
h-index:
0
BRILMAYER, L
BOSTON UNIVERSITY LAW REVIEW,
1986,
66
(3-4)
: 673
-
691
[7]
FREGE AND 2ND-ORDER LOGIC - REPLY
HECK, RG
论文数:
0
引用数:
0
h-index:
0
机构:
MIT,CAMBRIDGE,MA 02139
MIT,CAMBRIDGE,MA 02139
HECK, RG
STANLEY, J
论文数:
0
引用数:
0
h-index:
0
机构:
MIT,CAMBRIDGE,MA 02139
MIT,CAMBRIDGE,MA 02139
STANLEY, J
JOURNAL OF PHILOSOPHY,
1993,
90
(08):
: 416
-
424
[8]
INTERPRETING 2ND-ORDER LOGIC IN THE MONADIC THEORY OF ORDER
GUREVICH, Y
论文数:
0
引用数:
0
h-index:
0
机构:
BOWLING GREEN STATE UNIV,BOWLING GREEN,OH 43403
GUREVICH, Y
SHELAH, S
论文数:
0
引用数:
0
h-index:
0
机构:
BOWLING GREEN STATE UNIV,BOWLING GREEN,OH 43403
SHELAH, S
JOURNAL OF SYMBOLIC LOGIC,
1983,
48
(03)
: 816
-
828
[9]
2ND-ORDER EVIDENCE AND BAYESIAN LOGIC - COMMENT
MARTIN, AW
论文数:
0
引用数:
0
h-index:
0
MARTIN, AW
BOSTON UNIVERSITY LAW REVIEW,
1986,
66
(3-4)
: 709
-
714
[10]
A CRITICAL-APPRAISAL OF 2ND-ORDER LOGIC
JANE, I
论文数:
0
引用数:
0
h-index:
0
机构:
Departamento de Lögica, Universidad de Barcelona, Historia y Filosofia de la Ciencia, Barcelona
JANE, I
HISTORY AND PHILOSOPHY OF LOGIC,
1993,
14
(01)
: 67
-
86
←
1
2
3
4
5
→