计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2013年
16期
68-70
,共3页
剩余格%同余关系%滤子
剩餘格%同餘關繫%濾子
잉여격%동여관계%려자
residuated lattice%congruence relation%filter
在剩余格中定义了一种只依赖于交运算和蕴含算子的同余关系,简化了L作为泛代数的同余关系的表达式,证明了这种同余关系和滤子之间仍然是一一对应的,并且这种对应关系是相应的完备格之间的一个同构。
在剩餘格中定義瞭一種隻依賴于交運算和蘊含算子的同餘關繫,簡化瞭L作為汎代數的同餘關繫的錶達式,證明瞭這種同餘關繫和濾子之間仍然是一一對應的,併且這種對應關繫是相應的完備格之間的一箇同構。
재잉여격중정의료일충지의뢰우교운산화온함산자적동여관계,간화료L작위범대수적동여관계적표체식,증명료저충동여관계화려자지간잉연시일일대응적,병차저충대응관계시상응적완비격지간적일개동구。
In residuated lattices, a definition of congruence relations is introduced depending on the meet opration ù and the im-plication operation ? , which simplifies the forms of congruence relations in sense of universal algebras. It is shown that all this kind of congruence relations are still one-to-one corresponding to all filters and indeed such a correpondence is an isomorphism between related complete lattices.