基于完备剩余格值逻辑的BCI-代数的三种模糊理想

通过完备剩余格值逻辑中一元模糊谓词，将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画，引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法，研究这三种l-值模糊理想的性质及关系，推广了经典模糊情形下相应的现有结论。     

软BCI-代数的软α-理想

将软集理论应用到BCI-代数的理想中,引进了软BCI-代数的软a-理想的概念,举出实例证明了软BCI-代数软a-理想的存在性.讨论了软a-理想与软理想、软a-理想与软p-理想之间的关系.研究了两个软a-理想的扩展交、限制交以及限制差等性质.给出了软a-理想的扩张性质.     

基于完备剩余格的双标号转换系统

为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念,给出格值互模拟关系的逻辑刻画。     

关于伪BCI-代数的结合伪滤子与伪a-滤子（英文）

给出伪BCI-代数中结合伪滤子及伪a-滤子的一些新性质,证明了以下重要结果:(1)伪BCI-代数的一个伪滤子是结合的当且仅当它是伪a-滤子;(2)一个伪BCI-代数是结合BCI-代数的充分必要条件是它的每一个伪滤子是结合的(或伪a-滤子);(3)伪BCI-代数的一个伪滤子是结合的(或是伪a-滤子)当且仅当它是群逆伪q-滤子,当且仅当它是群逆T-型伪滤子。     

群逆伪BCI-代数与群逆滤子(英文)

伪BCK-代数是非可换模糊逻辑(蕴涵片段)的基本代数框架,伪BCI-代数是伪BCK-代数的推广,本文研究伪BCI-代数的结构。首先,借助BZ-代数(又称弱BCC-代数)给出伪BCI-代数的一个特征性质;其次,通过引入群逆伪BCI-代数的概念,研究了伪BCI-代数与(非可换)群之间的关系;接着,引入群逆滤子、优滤子和正规滤子的概念,并通过它们给出伪BCI-代数成为群逆伪BCI-代数(以及滤子成为p-滤子)的充要条件;最后,证明了如下结论:(1)平均伪BCI-代数等价于p-半单BCI-代数;(2)伪BCI-代数的每一个滤子是p-滤子,当且仅当它是群逆的且其伴随群的每一个子群是正规子群。     

正则剩余格上的模糊理想及模糊蕴涵理想

对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模糊蕴涵理想一定是模糊理想,模糊理想不必是模糊蕴涵理想;(3)证明了全体模糊理想之集在给定的运算下是一个完备的分配格。     

BCI-代数的伴随代数和a-伴随代数

研究BCI-代数与群和半群之间的关系.先用BCI-代数产生两个新代数,再反过来用这两个新代数研究BCI-代数.引入了BCI-代数的伴随代数和a-伴随代数的概念,讨论了它们的运算公式和性质,并由此给出了广义结合与广义a-结合BCI-代数的几个等价命题.推广了广义结合BCI-代数的伴随群和广义a-结合BCI-代数的伴随摩群的概念及参考文献中的一些结论.     

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法.格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具.     

伪BCI-代数的导出半群与T-部分（英文）

伪BCI-代数是一类非经典逻辑代数,它是伪BCK-代数的推广,而伪BCK-代数与各种非可换模糊逻辑代数有密切关系。本文从任意伪BCI-代数出发,构造了两种加法运算,进而得到两个导出半群。同时,本文引入强伪BCI-代数、伪BCI-代数的T-部分等概念,给出伪BCI-代数的T-部分成为伪BCI-滤子的一些等价条件。     

BCI-代数的余模糊理想

在BCI-代数中引入了余模糊理想的概念,讨论了它的某些性质,研究了BCI-代数的模糊理想和余模糊理想的关系.特别是,给出了一个如何由一个模糊子集生成一个余模糊理想和闭余模糊理想的过程.     

量化转换系统的格值语言包含关系

近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度量系统的一个状态所接受的语言能在多大程度上被另一个状态所接受的语言所包含,研究了这种关系的计算复杂性问题,并用格值版本的HennessyMilner逻辑的子逻辑提供了它的逻辑刻画。所有这些性质表明所提出的格值语言包含关系为并发和分布式系统的量化验证提供了重要的理论基础。     

BCI-代数的Fuzzy a-理想

本文的目的是引进PCI－代数的fuzzy α-理想的概念与探讨它的性质，给出了fuzzy α-理想的特征与Meng‘s扩张定理，讨论了BCI－代数中fuzzy α-理想，fuzzy q-理想与fuzzy p-理想之间的关系，从而得到一个BCI－代数的fuzzy子集是fuzzy α-理想当且仅当它是fuzzy q-理想与fuzzy p-理想。利用fuzzy α-理想与fuzzy p-理想分别刻画了结合BCI－代数与p-半单BCI－代数。此外，亦给出了fuzzy α-理想的其他性质。     

关于单BCI—代数的一些结果

本文讨论了单BCI-代数。证明了一个BCI-代数是单的当且仅当它的子代数都是单的；给出了单p-半单BCI-代数的一种表示式；证明了一个p-半单BCI-代数是单的当且仅当它的阶是素数；这样得到了一批（无限多个）单BCI-代数；证明了商BCK-代数X/A是单的当且仅当A是X的极大理想。     

基于L~*-格值逻辑上的BCK-代数中直觉不分明化理想

在L~*-格值逻辑的语义框架下,以L~*-格值上的Lukasiewicz蕴涵算子为工具定义了L~*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L~*-格值谓词演算下给予了新的刻画,讨论了它们的性质及其关系,研究了这些理想与其同态象、同态原象之间关系,获得了同类理想之积仍为该类理想.     

亚BCI-代数的新型软理想

将软集的参数集赋予亚BCI-代数的代数结构,提出亚BCI-代数的新型软理想的概念,当U=[0,1]时,就得到了亚BCI-代数的犹豫模糊理想的概念。利用软子集、软集的限制交、且运算以及且运算的投影,研究了亚BCI-代数的新型软理想的基本性质。接着,运用对偶软集和水平集的方法给出它的等价刻画。最后,研究亚BCI-代数的新型软理想的同态像和原像的性质。     

亚BCI-代数的模糊理想

引入了亚BCI-代数的模糊子代数、模糊理想、闭模糊理想和模糊P-理想的概念,研究了它们的性质。证明了模糊子代数(模糊理想、闭模糊理想、模糊P-理想)的同态像与同态原像仍能成为模糊子代数(模糊理想、闭模糊理想、模糊P-理想)。     

BCI-代数与弱FI-代数的对偶关系

讨论了BCI-代数与弱FI代数的关系,主要给出了如下结论:BCI-代数与弱FI代数相互对偶,p-半单BCI-代数与正则弱FI-代数相互对偶,BCI-代数的加法半群与弱FI-代数的加法半群一致,BCI-代数的理想与弱FI代数的滤子等价。     

基于L*-格值逻辑上的BCH-代数中的直觉不分明化理想

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质.     

亚BCI-代数的$(\alpha,\beta)$-软理想

首先将软集的参数集赋予亚BCI-代数, 给出了亚BCI-代数的$(\alpha,\beta)$-软理想的概念.当$U=[0,1], \alpha=U, \beta=\phi$时,相应地就得到了亚BCI-代数的犹豫模糊理想的概念.研究了亚BCI-代数的$(\alpha,\beta)$-软理想的一些重要性质.最后讨论了亚BCI-代数的$(\alpha,\beta)$-软理想的同态像和原像的性质.     

BCK-代数的(∈,∈) ((∈,∈∨ q),(∈-,(∈- ∨(q-))-模糊蕴涵理想

应用模糊点和模糊集间的关系,给出BCK-代数(∈,∈)((∈,∈∨q),(∈-),(∈- ∨(q-))-模糊蕴涵理想的定义,描述了BCK-代数的(∈,∈)-模糊蕴涵理想与模糊理想,模糊子代数间的关系,研究了BCK-代数的模糊子集为(∈,∈)((∈,∈∨q),((∈-,(∈- ∨(q-))-模糊蕴涵理想的充要条件.