摘要:每个格子同构于一个其元素为集合的集合格子,并且其操作是交集和一个通过包含集合A和集合B的交集的所有集合来扩展的并运算。这种表示明确了Birkhoff和Frinks对任意格子的表示,与Stone的集合论表示分配格子相关。
作者:K. Dosen (Mathematical Institute, Belgrade)
论文ID:math/0303005
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中