Heyting代数的扩张滤子

运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步研究.在Heyting代数H中引入了滤子F关于H的子集A的扩张滤子概念并考察其性质.证明了一个滤子F关于H的所有子集的扩张滤子全体之集构成一个完备Heyting代数且构成一个Stone格.     

FI代数的滤子

研究FI代数的滤子理论，建立F滤子、P滤子、Q滤子、C滤子之间的联系．     

BL代数的fantastic滤子和normal滤子

滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了两个公开问题:"在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件.     

FI代数的模糊滤子

在FI代数(Fuzzy蕴涵代数)上引入了模糊滤子的概念并给出了其等价刻画;探讨了由模糊滤子所诱导的同余关系及商代数,证明了由模糊滤子所诱导的同余关系是完备分配格.     

Heyting代数的谱空间

本文通过Ｈｅｙｔｉｎｇ代数谱空间的刻画，给出了Ｈｅｙｔｉｎｇ代数的拓扑表达。     

关联BCK代数的P滤子、I滤子及BFI滤子

引入关联BCK代数的P滤子、I滤子及BFI滤子的概念,并得到了一些重要的结论.     

FI-代数的多种Fuzzy滤子

对FI-代数的各种滤子概念进行fuzzy化,引入fuzzy滤子、fuzzy P-滤子、fuzzy Q-滤子和fuzzy C-滤子等概念并给出它们的若干等价刻画。证明了:(1)每个fuzzy Q-滤子都是fuzzy P-滤子;(2)一个fuzzy集成为fuzzy Q-滤子当且仅当它既是fuzzy P-滤子又是fuzzy C-滤子。还给出了多种滤子的扩张定理以及具体的实例和反例。     

pO代数的理想与滤子

本文给出了pO代数中理想与滤子的几个特征。     

关于Robbins代数与Heyting代数的类似性质

Ｓ．Ｗｉｎｋｅｒ在文〔１〕中给出了Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的一个较弱的条件。本文将讨论Ｈｅｙｔｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件，我们发现Ｈｅｙｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件与Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的条件相似，从而提示了Ｈｅｙｔｉｎｇ代数与Ｒｏｂｂｉｎｓ代数之间具有一定的关系。     

PFI代数及其P滤子

文「１」引入了ＦＩ代数及其滤子,文「２」讨论了ＦＩ代数与ＭＶ代数的联系,本文在此基础上引入了正关联ＦＩ代数及其正关联滤子,并得到几个重要性质。     

FI-代数的犹豫模糊滤子理论

将犹豫模糊集应用于FI-代数中,初步建立FI-代数的犹豫模糊滤子理论。引入了FI-代数的犹豫模糊滤子、犹豫模糊P-滤子、犹豫模糊Q-滤子、犹豫模糊C-滤子、犹豫模糊I-滤子和犹豫模糊A-滤子的概念,获得它们的若干等价刻画,讨论了这些犹豫模糊滤子之间的关系,证明了它们关于交运算具有封闭性,指出了犹豫模糊滤子、犹豫模糊P-滤子、犹豫模糊Q-滤子、犹豫模糊C-滤子、犹豫模糊I-滤子和犹豫模糊A-滤子在FI-代数同构下的不变性。给出了犹豫模糊P-滤子、犹豫模糊Q-滤子、犹豫模糊C-滤子和犹豫模糊A-滤子的扩张定理。     

BL-代数的直觉模糊滤子度

提出BL-代数的直觉模糊滤子度的概念,给出其的等价刻画,并用直觉模糊滤子度来讨论BL-代数上的直觉模糊子集是直觉模糊滤子的程度.对于BL-代数的一个直觉模糊集,建立其(强)截集构成的滤子与其直觉模糊滤子度之间的关系.讨论了直觉模糊子集的交、直积的直觉模糊滤子度以及BL-代数的直觉模糊子集的同态像与逆像的直觉模糊滤子度.     

平衡半拟补Ockham代数的滤子

一个平衡半拟补Ockham代数(简称bdpO-代数)是一个〈2,2,1,1,0,0〉类型的代数(L;∧,∨,f,*,0,1).其中(L;f)是Ockham代数,(L;*)是半拟补代数,且一元运算f和*由恒等式[f(x)]*=f2(x)与f(x*)=x**所连结.本文讨论bdpO-代数中滤子的性质及其同余特征,并刻画某些同余一致与同余凝聚性质.     

FI代数上的MP滤子拓扑空间

首先,在FI代数X上以全体MP滤子之集为基建立了一个拓扑空间(X,F_(MP)).给出了拓扑空间(X,F_(MP))中集合A的导集、闭包和内部的计算公式.其次,考察了(X,X_(MP))的若干拓扑性质.最后,研究了乘积FI代数的乘积MP滤子拓扑.     

FI代数的区间值模糊软滤子

运用区间值模糊软集研究FI代数的滤子问题,引入了FI代数的区间值模糊软滤子概念,给出了它的若干代数性质。定义了区间值模糊软FI-同态(同构)概念,证明了FI代数的一个区间值模糊软滤子在区间值模糊软FI-同构(同态)下的像(原像)仍为区间值模糊软滤子的结论。     

BL-代数上的几类反犹豫模糊滤子

研究了BL-代数的几类反犹豫模糊滤子.将犹豫模糊集应用于BL-代数中,分别给出了反犹豫模糊滤子、反犹豫模糊素滤子、反犹豫模糊蕴涵(正蕴涵)滤子的概念,讨论BL-代数上这几类反犹豫模糊滤子的基本性质以及它们之间的等价刻画.     

双重伪补Ockham代数的理想与滤子

描述了双重伪补Ockham代数的理想和滤子的某些性质。我们证明了一个双重伪补Ockham代数的核理想格与其余核滤子格同构。     

关于BL-代数的模糊滤子与模糊理想

在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,(2)f是蕴涵的和素的,(3)f是超的,(4)f是固执的。应用模糊正蕴涵滤子给出G-代数的若干特征性质。提出BL-代数模糊理想的概念,给出一些重要例子,并通过例子说明在BL-代数中模糊理想一般不能由模糊滤子导出。同时,从模糊理想出发构造了商BL-代数,并建立了相应的同态基本定理。最后,研究了BL-代数的几类模糊理想及其相互关系,给出模糊布尔理想、模糊素理想、模糊超理想的特征性质。     

分配P-代数的核理想与余核滤子

本文的主要结果是给出了分配P-代数中一个理想成为核理想的充要条件,同时提出了余核滤子的概念,研究了核理想与余核滤子之间的某些内在联系.     

伪补MS-代数的滤子同余关系

在伪补MS-代数上引入余核滤子和完全滤子的概念,研究伪补MS-代数的余核滤子和完全滤子的性质,获得了余核滤子和完全滤子生成的同余关系的表达式,证明了具有余核滤子的最小同余关系有同余一致性.