剩余格相关论文
不确定性在现实生活中无处不在,将概率论和多值命题逻辑交叉融合来建立不确定性表示与推理模型是不确定性数学领域多年来的研究热......
模态逻辑和行为等价在并发系统的规约和验证中起着重要作用。前者可用于模型检查,特别是用于指定要验证的属性。后者可用于状态聚......
逻辑代数作为模糊命题系统的语义理论已形成了一个重要的代数分支.在非经典逻辑中,由J. Pavelka引入的丰富剩余格是一种非常重要的......
文章首先讨论了剩余格上模糊滤子的相关性质,得到剩余格上模糊滤子的一些结论,在此基础上,考虑了由剩余格的一个模糊集合如何来生......
各种逻辑代数是做为非经典逻辑的语义系统被提出的,其中剩余格是一类最基本的模糊逻辑代数,几乎所有的子结构逻辑都是以它为基础来......
本文主要研究了几种基于覆盖的粗糙集（简称覆盖粗糙集）模型.第3章是我们的第一项主要工作,研究了基于覆盖的概率粗糙集（简称覆盖概率......
模糊推理是模糊控制的理论基础,鲁棒性是评判模糊推理的重要标准.在讨论鲁棒性时,扰动参数的选取极为关键.我们常用的扰动参数大多......
运用模糊集的方法和原理深入研究非对合剩余格的理想问题.在非对合剩余格中引入了模糊弱理想,模糊强理想,模糊MV理想,模糊布尔理想......
将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等......
非经典逻辑，特别是模糊逻辑、Rough集理论以及一般蕴涵逻辑都为描述和处理事物的模糊性和系统的不确定性以及智能信息处理和智能计......
本文的主要研究工作来源于河南省重点科技攻关项目(No.092102210149)“基于区间结构的柔性化控制模型及其系统研究”与河南省教育......
剩余格是由美国学者Ward和Dilworth于1939年提出的一种非常重要且基本的代数结构.常见的逻辑代数如MTL-代数,BL-代数,MV代数,Heyti......
在剩余格L中,首先证明了因子同余是由布尔元所唯一生成的,继而证明了由B(L)的素滤子诱导的商代数是直不可分解的.其次,给出了剩余......
模糊逻辑理论中,剩余格是应用较广泛的逻辑代数结构.为了进一步研究剩余格的性质,本文从多个方面对其进行了比较深入的再研究.首先......
科学技术的进步与现代数学的发展密不可分,特别是包含多值逻辑与模糊逻辑等在内的非经典数理逻辑在人工智能等领域中发挥着不可替......
模糊逻辑研究的一个重要方向是研究其逻辑代数系统.逻辑代数系统中一般以偏序集和一些运算为模型来建立逻辑与代数的桥梁,用代数方......
本文研究了一类L-模糊覆盖粗糙集模型.首先,定义了两个新的概念,即L-模糊β-覆盖和L-模糊β-邻域,并且讨论了L-模糊β-覆盖近似空......
将模糊集应用于剩余格的n-重滤子理论中,初步建立剩余格的n-重模糊理想理论.在剩余格上引入了n-重模糊蕴涵滤子、n-重模糊正蕴含滤......
本文在剩余格中引入了次极大滤子的概念,研究了它的一些性质,给出了剩余格的滤子格成为空间式frame的一些充要条件.......
通过提出模糊逻辑代数NBR0的概念,研究逻辑代数NBR0的代数结构,定义其上的(+)运算,并探讨新运算(+),→1,→2与原运算之间关系,得到......
结合软集理论，本文在剩余格上引入了(Obstinate)交软滤子的概念，得到了它们的一系列刻画，给出了(Obstinate)交软滤子是剩余格上一......
不同逻辑代数共性的研究导致各种基础逻辑代数的建立,其中剩余格结构是多种基础逻辑代数所具有的基本特性。本文首先通过在剩......
该文借助于格蕴涵代数已有的性质,进一步讨论其结构特征,最终为进一步讨论格值逻辑系统打好基础.为此,具体做了以下工作:1.讨论了......
Domain理论起源于上个世纪六十年代末,主要研究偏序集上的序关系和拓扑结构，并成为函数式程序语言的指称语义.然而，随着计算机与网络......
1965年，L.A.Zadeh教授提出模糊集的概念，标志着模糊数学这门学科的诞生，也为模糊逻辑的产生奠定了基础.1973年，Zadeh教授又首先将模糊......
本文研究粗糙集代数与非经典逻辑代数的关系，将粗糙集理论应用于MV-代数和R-代数，讨论其滤子的粗糙性并研究同态映射之下滤子的性质．......
多值逻辑与当今的一些前沿学科如模糊控制，人工智能，神经网络和计算机科学等有着密切的联系．不同的多值逻辑系统对应着不同的多值逻辑......
剩余格是具有广泛应用的一类模糊逻辑代数系统，同样BCK-代数，BR-代数也是非常重要的代数系统。本文主要研究了BCK-代数，剩余格，BR-代数......
自从布尔代数作为经典二值逻辑所对应的代数系统被提出以来，各种不同逻辑系统所相应的代数系统受到研究人员的广泛关注，并取得了大量......
剩余格是与数理逻辑联系十分紧密的一类代数结构.它不仅为几乎所有的子结构逻辑建立相应的代数语义提供基础，而且推广了具有广泛应......
本文对模糊关系的分解和剩余格上半线性空间的基进行了深入探讨.首先,在[0,1]格上对模糊关系的一系列分解问题作了研究.对模糊关系......
本文进一步研究了具有广泛应用的一类模糊逻辑代数系统--剩余格,并引入了正则剩余格的概念,对剩余格与正则剩余格的定义进行了讨论......
在剩余格上引入了模糊滤算子，讨论了它的一些性质。特别地，将这类算子应用到EQ-代数研究中，络出了格EQ-代数和好的EQ-代数的模糊......
研究了与H(a)jek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-B......
逻辑度量研究是近似推理理论的一个重要组成部分.首先在四种常见n值逻辑系统中,利用概率测度的方法,引入了逻辑公式概率真度的概念......
讨论P-有界分配格的理想集代数与剩余格的关系.证明了在适当选取蕴涵算子及相应的剩余算子之后,P-有界分配格的理想集代数就成为剩......
研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件.同时,进一步将这些结果推广到只含有蕴涵......
粗糙集理论是由Pawlak提出的一种表示与处理数据表中信息的形式化工具.作为粗糙集概念的推广,一种基于完备剩余格的L-模糊粗糙集已......
对基于剩余格L的L-广形式背景引入了L-可定义集概念,研究L-可定义集的性质及其与L-粗糙概念之间的关系.培出L-广可定义集的刻画;得......
研究一种特殊的刺余格--幂等刺余格,证明满足幂等性的一般刺余格必是可换剩余格,即不存在非可换的幂等剩余格.讨论幂等剩余格的基......
为了使非可换逻辑代数NBR0具有剩余格结构,提出两种剩余格结构NRL和CNRL,建立NBR0代数的NRL和CNRL表示.最后讨论了CNRL上的λ结构......
在剩余格上引入了(∈,∈vq)-模糊滤子的概念,初步讨论了它的一些性质和等价条件,与之对应地讨论了((∈)(∈),vq)-模糊滤子的性质,......
期刊
对给定的可除剩余格L及a∈L，作者通过一个自然的构造使得主下集↓＋a={x∈L｜x≤a}成为一个可除剩余格La．进一步有，如果L是预线性的或者广......
