【摘 要】
：
格蕴涵代数是一种重要的逻辑代数，可为格值逻辑和不确定性推理的研究提供一种理论基础．本文基于格蕴涵代数已有的性质，进一步讨论格蕴涵代数的性质及结构．首先，讨论有限格蕴涵代数
论文部分内容阅读
格蕴涵代数是一种重要的逻辑代数，可为格值逻辑和不确定性推理的研究提供一种理论基础．本文基于格蕴涵代数已有的性质，进一步讨论格蕴涵代数的性质及结构．首先，讨论有限格蕴涵代数的理想及其结构；其次，继续讨论零化子的性质；再次，在格蕴涵代数中提出了α-化子的概念并得出其若干性质；最后，在格蕴涵代数中提出了格蕴涵代数不等式的概念并得出解集的若干性质．本文主要取得以下结果：
1．讨论有限格蕴涵代数的理想及其结构，找出了有限格蕴涵代数的所有理想并证明了由有限格蕴涵代数所有理想所构成的格与布尔格同构．
2．继续讨论格蕴涵代中零化子的性质，由于对有限格蕴涵代数的理想做零化子运算(记为O<*>)是一个逆序对合算子，所以可以在L的所有理想所组成的集合∑(L)上定义一个蕴涵算子“=>”，则(∑(L)，O，L，O<*>，=>)构成一个格蕴涵代数．
3．在格蕴涵代数中提出了α-化子的概念并得出了一些基本性质；其次，讨论了α-化子与理想的关系，并证明了格蕴涵代数中的α-化子是格蕴涵代数的格理想：最后，在格蕴涵代数中证明了B的α-化子的同态像是像f(B)的f(α)-化子的子集．
4．在格蕴涵代数中提出了格蕴涵代数不等式的概念并讨论了三类简单的重要的不等式的解集及其性质．
其他文献
设R是实数域， C是复数域，n和m是正整数，且min{m，n}≥2.R上n阶对称矩阵空间和n阶复Hermite矩阵空间分别记为Sn(R)和Hn(C)．最近不同矩阵集合之间的保持问题是矩阵论研究中的一个热点
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
在所有通常图的变换中，线图是研究最广泛的一种变换．关于通常图的线图的研究已经产生了很多的成果，如路图和线图的关系，线图与若干典型图类的交叉数等等．随着图论的发展，通常图已经
本期话题：重视和加强非公有制经济组织的党建工作近年来,非公有制经济组织不断地发展和壮大,已从当初的“拾遗补缺”发展为社会主义市场经济的重要组成部分。党的十六大明确要
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
数学是在一定的社会条件下,由长期的生产和生活中积累和发展起来的相关经验的堆积.可以说,数学的起源就是生活.同样的,在人们的日常生活中也遍布数学的痕迹.所以说,在学生踏
自从1978年著名的运筹学家A.Chames,W.W.Cooper和E.Rhodes首先提出了一个被称为数据包络分析(Data Envelopment Analysis，简称DEA)的方法以来，DEA数据包络分析作为一种有着严密
本文找到了所有关于例外型Weyl群的负1型点Hopf代数，并且证明了任何非负1型点Hopf代数的维数是无限维，我们得到以下2个重要的结果： 令G为例外型的Weyl群．则 (i)对任意在Wey
劳模品牌效应是劳模经济效应中极为重要的内容,而当劳模与某一类或某个产品紧密联系时,其品牌效应愈加明显。以发挥劳模品牌效应为诉求点的广告软文的写作,要找准诉求点,通过
一个数有很多种表示方式，然而比起我们熟知的进制分数来说，连分数作为数的一个表示方式有很多优点，其中衡量一个数的表示形式的优劣，一个的必要标准就是这种表示方式可以多大程度