摘要
在MTL代数中,给出布尔滤子的几种等价刻画,提出了正蕴涵滤子和固执滤子的概念,讨论了它们的一些基本性质,得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中,布尔滤子和正蕴涵滤子相互等价,超滤和固执滤子相互等价。
In MTL - algebra, give several characteristic properties of Boolean filter. Propose the concepts of a positive implicative and obstinate filter. Discuss their some properties and the relations between all kinds of filters. In IMTL- algebra( MTL- algebra satisfying the involutive law) ,prove that a positive implicative filter is equivalent to a Boolean filter, and an obstinate filter is also equivalent to an ultra filter.
出处
《云南师范大学学报(自然科学版)》
2009年第2期33-37,共5页
Journal of Yunnan Normal University:Natural Sciences Edition
基金
国家自然科学基金资助项目(1077129)
安康学院专项科研计划资助项目(2007AKXY022)
关键词
MTL代数
布尔滤子
正蕴涵滤子
固执滤子
MTL- algebra
a Boolean filter
a positive implicative filter
an obstinate filter