NATURAL 3-VALUED LOGICS - CHARACTERIZATION AND PROOF THEORY

被引：121

作者：

AVRON, A

机构：

来源：

关键词：

D O I：

10.2307/2274919

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：276 / 294

页数：19

共 34 条

[1]

Anderson A. R., 1975, ENTAILMENT LOGIC REL, VI

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

AVRON, A .

[3] A CONSTRUCTIVE ANALYSIS OF RM [J].

AVRON, A .

[4] THE SEMANTICS AND PROOF THEORY OF LINEAR LOGIC [J].

AVRON, A .

[5]

Avron A., 1986, NOTRE DAME J FORM L, V27, P201, DOI DOI 10.1305/NDJFL/1093636612

[6]

AVRON A, IN PRESS INFORMATION

[7]

AVRON A, 1984, THESIS TEL AVIV U TE

[8]

AVRON A, 1987, ECSLFCS8730 ED U LAB

[9] A LOGIC COVERING UNDEFINEDNESS IN PROGRAM PROOFS [J].

BARRINGER, H ;

CHENG, JH ;

JONES, CB .

[10]

Belnap, 1977, CONT ASPECTS PHILOS, P30