节点文献
分配格的等价关系刻画(英文)
An Equivalence Relation Characterization of Distributive Lattices
【摘要】 通过在格上定义等价关系,给出了分配格,Heyting代数,Boolean代数的一致等价刻画。由此得到了Heyting代数与Boolean代数分解定理.
【Abstract】 A characterization of distributive lattices, Heyting algebras and Boolean algebras was given by means of an equivalence relation defined on them. Furthermore, some interesting properties of Heyting algebras and Boolean algebras were obtained.
【关键词】 等价关系;
分配格;
Heyting代数;
Boolean代数;
【Key words】 equivalence relation; distributive lattice; Heyting algebra; Boolean algebra;
【Key words】 equivalence relation; distributive lattice; Heyting algebra; Boolean algebra;
【基金】 Supported by the National Natural Science Foundation of China(10331010).
- 【文献出处】 南京师大学报(自然科学版) ,Journal of Nanjing Normal University(Natural Science) , 编辑部邮箱 ,2006年04期
- 【分类号】O153
- 【下载频次】58