Bounded lattice expansions

被引：134

作者：

Gehrke, M ^{[1
]}

Harding, J ^{[1
]}

机构：

[1] New Mexico State Univ, Las Cruces, NM 88003 USA

来源：

JOURNAL OF ALGEBRA | 2001年 / 238卷 / 01期

关键词：

algebras with a lattice reduct; canonical extensions; Galois connections; functoriality; preservation of identities;

D O I：

10.1006/jabr.2000.8622

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

The notion of a canonical extension of a lattice with additional operations is introduced. Both a concrete description and an abstract characterization of this extension are given. It is shown that this extension is functorial when applied to lattices whose additional operations are either order preserving or reversing, in each coordinate, and various results involving the preservation of identities under canonical extensions are established. (C) 2001 Academic Press.

引用

页码：345 / 371

页数：27

共 36 条

[1] KRIPKE MODELS FOR LINEAR LOGIC
ALLWEIN, G
DUNN, JM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (02) : 514 - 545
[2] [Anonymous], STUDIA LOGICA
[3] Birkhoff G., 1967, AM MATH SOC C PUBL, VXXV
[4] THE LATTICE OF MODAL-LOGICS - AN ALGEBRAIC INVESTIGATION
BLOK, WJ
[J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 221 - 236
[5] BLYTH TS, 1994, OCKHAMS ALGEBRAS
[6] Boicescu V, 1991, ANN DISCRETE MATH, V49
[7] Burris S., 1981, A course in universal algebra
[8] CELANI S., 1997, NOTRE DAME J FORM L, V38, P1, DOI 10.1305/ndjfl/1039700693
[9] QUANTIFIERS ON DISTRIBUTIVE LATTICES
CIGNOLI, R
[J]. DISCRETE MATHEMATICS, 1991, 96 (03) : 183 - 197
[10] Crawley P., 1973, Algebraic Theory of Lattices

← 1 2 3 4 →