PROOF THEORY FOR LINEAR LATTICES

被引：29

作者：

HAIMAN, M

机构：

来源：

关键词：

D O I：

10.1016/0001-8708(85)90118-5

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：209 / 242

页数：34

共 35 条

[11]

GELFAND IM, 1977, RUSS MATH SURV, V31, P67

[12]

GELFAND IM, 1977, RUSS MATH SURV, V32, P91

[13]

Gratzer G., 1978, GEN LATTICE THEORY

[14]

HAIMAN M, ALGEBRA UNIVERSALIS

[15]

HAIMAN M, 1984, THESIS MIT

HERRMANN, C .

[17]

HODGE WVD, 1953, METHODS ALGEBRAIC GE, V1

[18]

Horn A., 1951, J SYMBOLIC LOGIC, V16, P14, DOI DOI 10.2307/2268661

HUTCHINSON, G .

[20] A COMPLETE LOGIC FOR N-PERMUTABLE CONGRUENCE LATTICES [J].

HUTCHINSON, G .