【摘 要】
：
该文借助于格蕴涵代数已有的性质,进一步讨论其结构特征,最终为进一步讨论格值逻辑系统打好基础.为此,具体做了以下工作:1.讨论了格蕴涵代数与剩余格的关系以及一些相关性质.
论文部分内容阅读
该文借助于格蕴涵代数已有的性质,进一步讨论其结构特征,最终为进一步讨论格值逻辑系统打好基础.为此,具体做了以下工作:1.讨论了格蕴涵代数与剩余格的关系以及一些相关性质.2.格蕴涵代数生成滤子的若干性质,并给出了一类格蕴涵代数链的特征刻划.3.讨论了格蕴涵代数中的素滤子,给出了格蕴涵代数的一个分解定理.4.讨论了格蕴涵代数中的I-化滤子及对合滤子,给出了有限格蕴涵代数中滤子的一个等价刻划,并讨论了生成滤子与对合滤子的关系.5.讨论了格蕴涵代数与MV-代数以及格序群的关系,证明了格蕴涵代数中关于运算的无限可分配性.
其他文献
该文详细地讨论了求解锥互补问题的内点算法,并分析所给算法的计算复杂性.全文共分七章,第一章首先简述了内点算法的发展过程,然后给出了锥互补问题的基本概念,最后介绍了该
变分不等式问题自1964年首次提出以来,得到了广大研究者的高度重视,一直是数学规划研究中比较活跃的分支,基于其应用背景的广泛性,近年来越来越多的人投入到对其研究中来,且
该论文研究间断动力系统在小随机扰动下的大偏差性质和极限性质,并运用它们研究守恒律方程的稳定性.在第一章开始,研究人员在较弱的条件下证明随机微分方程弱形式的比较定理,
模糊数及模糊数空间上的度量理论是模糊分析学的重要组成部分,合理地建立模糊数空间上的度量无论在理论上还是在实际应用上都对模糊数学的发展具有重要意义.该文自模糊集合的
该文将利用变分李雅普诺夫方法建立一些准则,用于判断摄动微分方程解的性质,如稳定性、有界性、最终稳定性及两个测度的稳定性.通过与先前使用李普诺夫方法得出的结果加以比
最近媒体刊登了某系统“全国先进集体、劳动模范、先进工作者”,整整三个大版面的先进名单中,机关中几乎全是“书记、局长、处长、站长”等,企业中几乎全是“董事长、总经理
云南省是我国第2大甘蔗种植与生产基地,其年食糖产量在全国总食糖产量中居于第2,是云南省支柱产业之一。文章针对云南省甘蔗种植品种及类型进行统计,分析现代甘蔗农艺生产技
网格计算的特点是把网络中大量空闲的计算和存储资源高效整合,组成一台超级计算机,以解决挑战性问题。这对解决大型复杂问题的计算来说能大幅度降低成本。通常可以把一个大型