A CONSTRUCTIVE ANALYSIS OF RM

被引：86

作者：

AVRON, A ^{[1
]}

机构：

[1] TEL AVIV UNIV,DEPT MATH SCI,IL-69978 TEL AVIV,ISRAEL

来源：

JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 04期

关键词：

D O I：

10.2307/2273828

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：939 / 951

页数：13

相关论文

共 5 条

[1]

Anderson A. R., 1975, ENTAILMENT, V1

[2] RELEVANT ENTAILMENT - SEMANTICS AND FORMAL SYSTEMS [J].

AVRON, A .

JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) :334-342

[3]

Pottinger G., 1983, J SYMBOLIC LOGIC, V48, P900

[4]

Sobocinski Boleslaw, 1952, J COMPUTING SYSTEMS, V11, P23

[5]

[No title captured]