计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (22): 165-169.
张东晓1,王国俊2,3
ZHANG Dong-xiao1,WANG Guo-jun2,3
摘要: 引入Galois联络,利用Galois联络深入研究了概念格的基本性质。指出概念格同构是格同构。为了寻求更为简洁、合理的约简算法,在更一般的形式背景(即对象集和属性集有限或无限)中,给出协调集的四类判定定理,将已有结果做了推广而且丰富了协调集的判定。举例说明在一般的形式背景中,约简不一定存在。