泛逻辑的零级泛运算模型的代数性质

讨论泛逻辑的零级泛运算模型的基本代数性质。证明T（x,y,^）是阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对;当h∈（0,0．75）时,有界格（[0,1],∨,∧,,＊,→0,1）做成一个MV-代数;当h∈（0．75,1）时,有界格（[0,1],∨,∧,＊,→0,1）做成一个乘积代数。进一步,给出了零级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。     

格蕴涵代数定义的简化

证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义.     

模糊真值上扩展剩余蕴含的分配性

本文讨论二型模糊集真值上扩展剩余蕴含和扩展剩余共蕴含的分配性。首先给出扩展剩余蕴含和扩展剩余共蕴含与取大和取小运算的分配律,然后讨论扩展剩余蕴含和扩展剩余共蕴含与扩展取大和扩展取小运算的分配律。     

基于剩余格理论的P-有界分配格的理想集代数

讨论P-有界分配格的理想集代数与剩余格的关系.证明了在适当选取蕴涵算子及相应的剩余算子之后,P-有界分配格的理想集代数就成为剩余格.定义了生成理想,并借助格论上的原子定义了P-有界分配格,然后讨论了它的一些性质,得到了一些好的结论.最后证明了P-有界分配格的理想集代数也是MV代数与R0代数.     

二型凸模糊集的运算

本文讨论了二型模糊集凸次隶属函数的运算与性质。由于二型模糊集的次隶属函数是一个一型模糊集,本文首先给出了一般模糊集的运算规律,得到了一般模糊集并与交运算的最大值性质。然后利用该性质得到了凸一型模糊集在最小t-模,最大t-余模下并与交运算的性质,最后由一般模糊集的运算规律,获得了凸、标准凸、凹凸和凹的模糊集在最小t-模,最大t-余模下的内在关系。     

关于格蕴涵代数的结构的一些讨论

讨论格蕴涵代数的一些格论性质，证明不存在含中界元的非链的有限格蕴涵代数，为进一步讨论由语言真值构成的格蕴涵代数的结构提供条件。     

格蕴涵代数的反犹豫模糊滤子

本文研究了格蕴涵代数的反犹豫模糊滤子。将反犹豫模糊集应用于格蕴涵代数,提出反犹豫模糊滤子概念,得到了若干等价刻画;给出犹豫模糊集的反扩张定理,并讨论了反犹豫模糊滤子的像与原像的关系;最后定义了犹豫模糊集的反直积,研究了反犹豫模糊滤子与直积格蕴涵代数的反犹豫模糊滤子之间的关系,证明了乘积格蕴涵代数的犹豫模糊子集是反犹豫模糊滤子的必要条件。     

关于内射的格蕴涵代数

多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「１」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。     

关于格蕴涵代数公理的一个注记

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。     

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

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

格蕴涵代数的犹豫模糊LI-理想

将犹豫模糊集应用于格蕴涵代数,提出了格蕴涵代数犹豫模糊LI-理想的概念。给出了格蕴涵代数犹豫模糊LI-理想若干等价刻画,研究了格蕴涵代数犹豫模糊LI-理想的一些性质;给出了犹豫模糊特征函数的定义,讨论了犹豫模糊LI-理想和LI-理想的关系。最后给出了犹豫模糊集下像与原像的定义,研究了犹豫模糊LI-理想像与原像的性质。     

剩余格及有界psBCK-代数成为布尔代数的充要条件

研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件.同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数.     

格蕴涵代数中滤子的逻辑性质(英文)

讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 ,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理     

格蕴涵代数的左幂等元

为了研究命题真值取于格上的逻辑系统,文献[1]给出了格蕴涵供数的概念,文献[2-6]给出了格蕴涵代数的滤子,同态和性质（P）的概念,并讨论了它们的一些性质。本文在格蕴函代数中引入左幂等元的概念,讨论格蕴函代数中左幂等元的性质及由全体左幂等元所构成集合的代数结构,得到格蕴涵代数的分解定理：格蕴涵代数可以分解为由左幂等元构成左映射的像集合与对偶核的直和。     

伪对合剩余格(非可换)与伪效应代数(英文)

提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。     

格蕴函代数中滤子的逻辑性质

讨论了当格蕴函代数L是完全分配格时蕴涵运算的一些性质,在格蕴函代数L上引入了集合的蕴函传递性概念,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则的替换定理。     

格点空间上的变分复形及应用

运用非交换微分运算,在格点空间上引入变分复形并用代数拓扑的方法证明它的正合性,最后讨论离散变分复形在离散变分问题逆问题上的应用.     

双向S-粗模糊集及其性质

讨论模糊集与双向S-粗集的联系。首先给出双向S-粗模糊集的概念,接着讨论它们的并、交、补运算及其性质;特别地,证明双向S-粗模糊集对并、交、补运算构成完全可无限分配的软代数。     

基于格蕴涵代数的模糊幂集

模糊幂集理论依赖于相应的模糊算子的选取,本文通过格蕴涵代数中的蕴涵算子讨论了L—型模糊集的幂集,为高阶格值逻辑的研究作了必要的准备。     

特殊类型伪相等代数之间的关系

研究了有界伪相等代数,格伪相等代数,对合伪相等代数,预线性伪相等代数和交换伪相等代数的性质,并且详细地讨论了它们之间的关系。此外,利用伪相等代数和伪剩余格的性质证明了对合伪相等代数和对合伪剩余格是等价的。