HEYTING代数与FUZZY蕴涵代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引进的Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴函联结词的一种代数抽象 .本文给出Heyting代数的若干基本性质 ,并证明了Heyting代数是Fuzzy蕴涵代数 ,也是Heyting型Fuzzy蕴涵代数。     

完备格中四种蕴涵运算与伴随关系

在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分剐对应于Heyting代数与反Heyting代数,并且我们还讨论了关于四种二元运算的部分性质及其关系.     

模糊蕴涵代数的结构特征

本文研究了模糊蕴涵代数的一些性质,给出了模糊蕴涵代数成为Heyting代数的一个条件,得到对模糊蕴涵代数的结构特征刻画,并给出了一个(2,0)型代数(X,→,0)成为模糊蕴涵代数的充分必要条件.     

正则Fuzzy蕴涵代数

Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。     

MV代数定义的蕴涵简化形式

通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。     

Fuzzy蕴涵代数

本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。     

Fuzzy蕴涵代数的t-范及其性质

Fuzzy蕴涵代数是[0,1]值逻辑蕴涵联结词的一种代数抽象.本文在Fuzzy蕴涵代数中讨论了其上t-范的性质,并给出了Fuzzy蕴涵代数成为偏序半群的一个条件.     

Fuzzy蕴涵代数与有界BCK代数的关系

本文讨论了Fuzzy蕴涵代数与有界BCK代数互为对偶的关系。     

分配的Fuzzy蕴涵代数

给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质，接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的，从而得到Boole代数的两个等价形式，并且证明了分配的Fuzzy蕴涵代数是BL代数，最后得到了FI代数成为Boole代数的几个充要条件。     

蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

Fuzzy蕴涵代数的MP理想与正规MP理想

在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系, 证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想.     

BCK-代数的模糊代数理想

在有界可换BCK-代数上引入了Fuzzy代数理想的概念，给出了Fuzzy代数理想的某些特征，讨论了Fuzzy理想与Fuzzy代数理想的关系。最后描述了全体Fuzzy集的BCK-代数特征。     

Heyting代数的扩张滤子

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

格蕴涵代数的LI-理想格及其素元刻画

运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集ф_(LI)(L)上定义了格运算■和■,蕴涵运算■以及伪补运算■,证明了(ф_(LI)(L),,■,■,■,{O},L)构成一个完备Heyting代数的结论.其次,利用运算固的性质给出了(ф_(LI)(L),,■,■,■,■,{O},L)成为Boolean代数的若干充要条件.最后,借助于L的素LI-理想之特性获得了格(ф_(LI)(L),,■,■,{O},L)中素元的若干等价刻画.     

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.     

有界Heyting代数的交换理想与关联理想

运用泛代数和格理论的方法和原理进一步深入研究有界Heyting代数的理想问题。在有界Heyting代数中引入了交换理想、关联理想和正关联理想概念并讨论了它们的性质和相互关系。获得了各种理想的若干等价刻画。证明了在有界Heyting代数中,关联理想和正关联理想等价;在Ockham型有界Heyting代数中,理想和交换理想等价。同时,给出了有界Heyting代数的交换理想成为关联理想的一个充分必要条件。     

关于Z-蕴涵代数

基于N-半单代数和格蕴涵代数、FI-代数, Wajsberg-代数、BCK-代数、BCI-代数、BCC-代数及MV- 代数等的关系[9],本文中,我们引入了Z-蕴涵代数的概念, 并讨论了它们的某些性质.     

Fuzzy蕴涵代数的素模糊MP滤子

本文的目的是对Fuzzy蕴涵代数(简称FI代数)中的模糊MP滤子理论作进踊步深入研究。首先,引入素模糊MP滤子的概念并研究其性质,建立并证明了并半格FI代数的素模糊MP滤子定理;其次,在FI代数的素模糊MP滤子全体之集PFFMP(X)上构造了一个拓扑T,证明了拓扑空间(PFFMP(X),T)是T0空间。     

并素元有限生成格的弱直积分解

本文建立了并素元有限生成格的弱直积分解,并给出一个解决并素元生成的完全Heyting代数的直积分解问题的新方法;作为弱直积分解的应用,证明了并素元有限生成的完全Heyting代数必然同构于有限个既约的完全Heyting代数的直积,证明了并素元有限生成格是Boole代数的充要条件是它同构于某有限集的幂集格.     

蕴涵格及其Fuzzy拓扑表现定理

以L－Lindenbaum代数为背景,引入了蕴涵格与正则蕴涵格的概念,讨论了其基本性质,引入了Fuzzy蕴涵空间的概念,为点集拓扑学中零维空间概念的推广．建立了正则蕴涵格的Fuzzy蕴涵空间表现定理,以此为基础可以给出著名的Stone表现定理的另一种证明．