N元格蕴涵代数不等式的解Ⅱ

在格蕴涵代数中研究N元格蕴涵代数不等式,得到其有解的充分必要条件.在b有不可约有限交分解的情况下找出N元格蕴涵代数不等式的所有极大解,从而给出N元格蕴涵代数不等式的具体解集.     

N元格蕴涵代数不等式的解Ⅰ

在格蕴涵代数中研究N元格蕴涵代数不等式,得到其有解的充分必要条件。在b是L交既约元的情况下找出N元格蕴涵代数不等式的所有极大解,从而给出N元格蕴涵代数不等式的具体解集。     

格蕴涵代数不等式的解

在格蕴涵代数中研究两类格蕴涵代数不等式,分别讨论了两类不等式有解的充分必要条件,在此基础上给出格蕴涵代数不等式的具体解集并证明其解集分别是L的一个凸子格和子格．     

两类简单格蕴涵代数不等式的解

格蕴涵代数中研究两类格蕴涵代数不等式, 分别讨论了两类不等式有解的充分必要条件, 在此基础上给出格蕴涵代数不等式的具体解集并证明其 解集是L 的一个凸子格.     

N元格蕴涵代数不等式的解^＊ I

在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极小解,进而给出N元格蕴涵代数不等式的具体解集.     

格蕴涵代数与正则Fuzzy蕴涵代数

讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数.     

关于格蕴涵代数

讨论了拟格蕴涵代数的基本性质,由此得到：拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X（X,V,∧,`,→,0,1）为拟格蕴涵代数,≤L为格（X,∨,∧）上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系.     

格蕴涵代数的性质

在文献[6]中,通过在一格蕴涵代数L与它的素理想空间上的开闭下集构成的格蕴涵代数{Xa｜a∈L}之间引入一映射,得到了格蕴涵代数L的一个表示。利用集合列的极限对格蕴涵代数的表示进行了讨论,得出了格蕴涵代数的表示中单调集合列及一般集合列无限运算的一系列性质;又根据格蕴涵代数与格蕴涵代数的表示之间是同构的,进而得出了格蕴涵代数中任意子集无限运算的若干性质。     

Lukasiewicz蕴涵代数及其性质

由一般的格蕴涵代数的定义出发，验证了Lukasiewicz涵代数并讨论了Lukasiewicz蕴涵代数的单性和周期性。     

格蕴涵代数与Heyting-代数之间的关系

证明了正则的Heyting-代数如果满足x→y=x＇∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。     

格蕴涵代数的TL-滤子

将有界格上的t-模应用于格蕴涵代数的滤子上,提出了格蕴涵代数的TL-滤子概念．研究了TL-滤子性质与一些等价刻画,并指出了TL-滤子与滤子之间的关系．     

格蕴涵代数的T-模糊同余关系

将t-模应用于模糊同余上,引入格蕴涵代数的T-模糊同余,并研究T-模糊同余的性质与一些等价刻画,得到全体T-模糊滤子的集合与T-模糊同余的集合是同构;最后得到了商格蕴涵代数以及同态定理.     

格蕴涵代数的对偶性质

在讨论格蕴涵代数的滤子和LI-理想的对偶性质后给出一些对偶性的结论,丰富了格蕴涵代数的结构,深化了格蕴涵代数的对偶性.     

关于格蕴含代数的公理系统

简化了由ZhuY .和TuW .给出的格蕴含代数的公理系统 ,并给出另一个公理系统。     

格蕴涵代数的一个表示

给出了格蕴涵代数在它的素理想空间上的一个表示，并讨论了表示以后的一些性质，从而得到了格蕴涵代数的一个性质。