Entailment relations and distributive lattices

被引：0

作者：

Cederquist, J ^{[1
]}

Coquand, T ^{[1
]}

机构：

[1] Univ London Imperial Coll Sci Technol & Med, London, England

来源：

LOGIC COLLOQUIM '98 | 2000年 / 13卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

To any entailment relation [Sco74] we associate a distributive lattice. We use this to give a construction of the product of lattices over an arbitrary index set, of the Vietoris construction, of the embedding of a distributive lattice in a boolean algebra, and to give a logical description of some spaces associated to mathematical structures.

引用

页码：127 / 139

页数：13

共 50 条

[21] DISTRIBUTIVE PROJECTIVE LATTICES
BAKER, KA
HALES, AW
CANADIAN JOURNAL OF MATHEMATICS, 1970, 22 (03): : 472 - &
[22] PROJECTIVE DISTRIBUTIVE LATTICES
BALBES, R
HORN, A
PACIFIC JOURNAL OF MATHEMATICS, 1970, 33 (02) : 273 - &
[23] QUANTIFIERS ON DISTRIBUTIVE LATTICES
CIGNOLI, R
DISCRETE MATHEMATICS, 1991, 96 (03) : 183 - 197
[24] ENDOPRIMAL DISTRIBUTIVE LATTICES
MARKI, L
POSCHEL, R
ALGEBRA UNIVERSALIS, 1993, 30 (02) : 272 - 274
[25] AXIOMATICS OF DISTRIBUTIVE LATTICES
RUEDIN, J
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1968, 266 (12): : 607 - &
[26] Homology of distributive lattices
Przytycki, Jozef H.
Putyra, Krzysztof K.
JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, 2013, 8 (01) : 35 - 65
[27] Evolution on distributive lattices
Beerenwinkel, Niko
Eriksson, Nicholas
Sturmfels, Bernd
JOURNAL OF THEORETICAL BIOLOGY, 2006, 242 (02) : 409 - 420
[28] Monadic distributive lattices
Figallo, Aldo V.
Pascual, Ines
Ziliani, Alicia
LOGIC JOURNAL OF THE IGPL, 2007, 15 (5-6) : 535 - 551
[29] On the number of distributive lattices
Erne, Marcel
Heitzig, Jobst
Reinhold, Juergen
ELECTRONIC JOURNAL OF COMBINATORICS, 2002, 9
[30] VALUATIONS ON DISTRIBUTIVE LATTICES
GEISSING.LD
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A40 - A40

← 1 2 3 4 5 →