MV-代数的(→,)-微分

在MV-代数上引入了(→,)-微分,研究了MV-代数(→,)-微分的性质。定义并研究了正则(→,)-微分,并讨论了MV-代数的布尔中心上的(→,)-微分的一些性质。给出了中心主微分的概念,用中心主微分讨论了(→,)-微分与MV-代数其他微分之间的关系。并用中心主微分的不动点之集刻画了Boole代数。最后,定义并研究了微分MV-代数的微分理想,并讨论了正则微分MV-代数所有的微分理想组成的集合ID(A)的代数结构。     

关于MV-代数的模糊理想和超积

在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明了该形式化理论是不完备的且形式也不完备;本文进一步建立MV-代数的模糊理想及超积概念,并且探讨它们的基本性质.     

关于MV-代数的逻辑性质

MV-代数是C．C．Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的。它通过逻辑的观点,更进一步观察MV-代数的模型论性质。在本文中,我们研究了MV-代数的逻辑性质,得出形式化的MV-代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备。     

Monadic MV-代数上的微分

在Monadic MV-代数(M,■)上引入并研究了M-微分。定义并研究了Monadic MV-代数(M,■)上的强M-微分和正则M-微分,利用强M-微分,给出了一个MV-代数成为布尔代数的等价刻画,并给出了正则M-微分成为保序M-微分的等价刻画。进一步地,在Monadic MV-代数(M,■)上定义不动点集合Fd■,证明了若d为保序微分时,Monadic MV-代数上的不动点之集为M的格理想。随后,在Monadic MV-代数上定义并研究了可加微分,从而得到了一些关于可加微分的重要性质。最后,在微分Monadic MV-代数(M,■,d)上定义了Monadic微分理想,并对其进行了刻画,而且研究了(M,■,d)上所有Monadic微分理想组成的集合ID(M)的代数结构。     

Heyting代数与剩余格

证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。     

弱MV-代数与IMTL代数的关系及IMTL公理系统的简化

证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条.     

格蕴涵代数、MV-代数和有界可换的BCK-代数

本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。     

关于MV-代数

讨论了 MV-代数 ( X; ,× ,* ,0 ,1 )上自然偏序关系的一些基本性质 ;给出了 MV-代数的一个等价公理系 ,它同 D.Mundici曾提出的一个简化公理系相比更为简单 .     

BR0-代数与BCK-代数

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.     

BR_(0~-)代数的表示定理及其简化形式

通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0~-)代数的格蕴涵表示形式,使得BR_(0~-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0~-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0~-)代数和BR_(0~-)代数的关系给出了MV-代数的BR_(0~-)代数表示形式以及BR_(0~-)代数的简化形式.     

MV-代数上的f导子和g导子

利用 MV-代数的自同态,将 MV-代数上的（⊙, ）导子和（ ,⊙）导子进行了推广,引入了 f 导子和 g 导子,研究了它们的相关性质。得到了 g 导子 d 的不动点集 Fd （M） g 是 M 的理想;保序的 f 导子 d 的不动点集 Fd（M） f是 M的理想,并用 g 导子的相关性质刻画了布尔代数和线性布尔代数。最后讨论了 f 导子和 g 导子之间的关系。     

粗集代数与蕴涵格、格蕴涵代数、剩余格

在重新定义补运算和构造新蕴涵算子的基础上，证明了偶序对〈R，～R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格，而且可构成正则剩余格和MV-代数。     

基于MV-代数的度量型模糊粗糙集

研究基于多值逻辑MV-代数的度量型模糊粗糙集模型,给出-半度量和通常的实数值半度量的关系,证明-半度量和 -相似关系的等价性,研究-半度量诱导的模糊粗糙近似算子的性质及其可定义集的性质。     

蕴涵格的正规MP滤子与素滤子

在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素滤子的概念,研究了它们的特征性质,讨论了正规MP-滤子和MP-滤子之间的关系,得到正规MP-滤子是MP-滤子的结论,证明了蕴涵格的素滤子定理。它们是R0-代数或MV-代数上相应滤子的性质的共同特征。     

关于BZMVdM-代数的某些结果

一个BZMV^dM-代数是个具有一个乘法、结合二元算子＋及两个异常正交互补关系的系统：一个Kleen正交互补关系┐和一个Brouwerian单位～,任意BZMV^dM-代数是一个MV-代数,又是一个分配DE-摩根BZ一格,我们的主要结果是对任意BZMV^dM-代数（A,＋,┐,～,0）下面的性质成立：任意x,y∈A,（1）～～x=x当且仅当～x＋x=x当且仅当x＋x=x,（2）x^y=0当且仅当x≤┐y,（3）～（x＋y）=～x＋～Y,（4）x＋～x=1．     

完备格上模糊关系方程的研究进展

从理论研究的角度总结了模糊关系方程30余年来的研究进展,内容包括:完备Brouwer格上sup-inf合成模糊关系方程的极小解及方程的解集,其中包括论域有限时完备Brouwer格上模糊关系方程的极小解及方程的解集以及论域无限时完备Brouwer格上模糊关系方程的极小解及方程的解集;完备Brouwer格上inf-α合成模糊关系方程的极大解及方程的解集;格上元素的分解与模糊关系方程的极小(大)解的关系;最后,介绍了MV-代数上的半线性空间及定义在其上的模糊关系方程.     

BCH-代数与广义结合BCI-代数的关系

利用BCH-代数的理想给出了BCH-代数的商代数的一种定义方法，同时证明了BCH-代数的商代数是一个广义结合BCI-代数。     

拟可换BCI-(BCK-)代数的标准型

本文研究了拟可换BCK-代数和BCI-代数的标准型问题,得到一组充要条件,规范和简化了拟可换BCK-代数和BCI-代数的定义,给出了显示拟可换BCK-代数和BCI-代数结构差别的拟可换特征.     

BCH-代数中的广义结合理想与拟右交错理想

给出了广义结合BCH-代数、强BCH-代数、BCH-代数的拟右交措理想、BCH-代数的理想、广义结合理想、次广义结合理想等概念。讨论了广义结合BCH-代数中理想与广义结合理想的关系;广义结合理想与次广义结合理想的关系;强BCH-代数与广义结合BCH-代数的关系;广义结合BCH-代数与广义结合BCI-代数的关系;BCH-代数的拟右交措理想与理想的关系.进而证明了:BCH-代数是拟右交措的当且仅当它的任意理想是拟右交措的。     

可交换的弱FI代数

引入可交换弱FI代数的概念 ,讨论了弱FI代数和FI代数的几个性质 ;进一步得到了交换弱FI代数和交换FI代数的一些结果