Properties of pseudo MTL algebras and filters;
伪MTL代数的性质及其滤子
Normal filters and prime filters of pseudo NM-algebras;
伪NM代数的正规滤子与素滤子
On the intuitionistic fuzzy filter in Heyting algebra;
Heyting代数中的直觉模糊滤子
The relationship between ultrafilters and prime filters, and the one between ultrafilters and finite intersection properties are discussed.
文中提出了格蕴涵代数中超滤的概念,研究了它与素滤子及有限交性的关系,并证明了它与极大真滤子的等价性,为进一步研究相应的超积理论打下了基础。
* filter
从*运算出发定义了*滤子,利用格论的相关知识,对公式子集D(Γ)进行研究。
* filter
根据MV代数中伴随对(*,→)的定义,由二元运算*引入了*滤子的概念,证明了*滤子即是通常意义下的滤子,同时也研究了其*滤子的简单性质。
The generated fuzzy filters are introduced in lattice implication algebra.
在格蕴涵代数中引入生成模糊滤的概念,讨论了生成模糊滤的一些基本性质,利用这些性质证明了格蕴涵代数的所有模糊滤子构成一个完备的分配格。
The properties of the fuzzy filters of lattice implication algebras are further studied on the basis of the structures of lattice implication algebra.
在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质 ,指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系 ,并研究了这簇同余关系的代数结构及这些同余关系所诱导的商代数之间的同态映
The concept of fuzzy filters in Heyting algebras is introduced and it s properties are studied.
给出了Heyting代数中模糊滤子的定义,并研究了它的一些性质,运用Heyting代数中经典滤子的一些性质以及模糊集的截集和强截集得到了Heyting代数中的一些模糊集成为模糊滤子的等价刻画。