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 条
12345