INDEPENDENT AXIOMS FOR IMPLICATIONAL FRAGMENT OF SOBOCINSKIS 3-VALUED LOGIC

被引：7

作者：

MEYER, RK

PARKS, Z

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1972年 / 18卷 / 04期

关键词：

D O I：

10.1002/malq.19720181903

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：291 / 295

页数：5

相关论文

共 7 条

[1]

CHURCH A, 1951, WEAK THEORY IMPLICAT, P22

[2] ALGEBRAIC COMPLETENESS RESULTS FOR R-MINGLE AND ITS EXTENSIONS [J].

DUNN, JM .

[3]

PARKS Z, 1972, Z MATH LOGIK, V18, P189, DOI 10.1002/malq.19720181204

[4]

PARKS Z, 1972, NOTRE DAME J FORM L, V13, P227

[5]

ROSE A, 1953, J COMPUTING SYSTEMS, V1, P165

[6]

Rose A., 1956, Z MATH LOGIK, V2, P166

[7]

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