计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2013年
19期
36-38
,共3页
剩余格%n-重蕴含滤子%n-重MV滤子%n-重布尔滤子
剩餘格%n-重蘊含濾子%n-重MV濾子%n-重佈爾濾子
잉여격%n-중온함려자%n-중MV려자%n-중포이려자
residuated lattices%n-fold implicative filters%n-fold MV filters%n-fold Boolean filter
在剩余格上引入了n-重蕴含滤子、n-重MV滤子和n-重布尔滤子,给出它们的一系列刻画定理。通过新的刻画定理得到了这些滤子之间的关系;并且证明了滤子是n-重布尔滤子当且仅当它是n-重蕴含MV滤子。
在剩餘格上引入瞭n-重蘊含濾子、n-重MV濾子和n-重佈爾濾子,給齣它們的一繫列刻畫定理。通過新的刻畫定理得到瞭這些濾子之間的關繫;併且證明瞭濾子是n-重佈爾濾子噹且僅噹它是n-重蘊含MV濾子。
재잉여격상인입료n-중온함려자、n-중MV려자화n-중포이려자,급출타문적일계렬각화정리。통과신적각화정리득도료저사려자지간적관계;병차증명료려자시n-중포이려자당차부당타시n-중온함MV려자。
The n-fold implicative filters, n-fold MV filters and n-fold Boolean filters in residuated lattices are introduced. Some alternative definitions of them are obtained. The correlations between them are investigated by these new characterizations. In particular, it is proven that a filter is n-fold Boolean filter if and only if it is n-fold implicative filter and n-fold MV filter.