【摘 要】
:
不同逻辑代数共性的研究导致各种基础逻辑代数的建立,其中剩余格结构是多种基础逻辑代数所具有的基本特性。本文首先通过在剩余格L中引入条件(∨)a,b∈L,(a→b))∨(b→(b
【出 处】
:
中国计算机学会多值逻辑与模糊逻辑专业委员会第十四届学术会议
论文部分内容阅读
不同逻辑代数共性的研究导致各种基础逻辑代数的建立,其中剩余格结构是多种基础逻辑代数所具有的基本特性。本文首先通过在剩余格L中引入条件(∨)a,b∈L,(a→b))∨(b→(b→a))=1建立了弱MTL-代数结构,并给出了弱MTL-代数的实例:其次,在弱MTL-代数中引入了极大演绎系统,素演绎系统和极大同余关系,素同余关系等概念,并分别讨论了它们的基本性质;最后,讨论了弱MTL-代数中同余关系与演绎系统之间的联系,证明了弱MTL-代数中(极大,素)同余关系与(极大,素)演绎系统一一对应。
其他文献
In this paper,the soft general topology is defined the general rough upper(lower)rough approximation is defmed on the soft topological space over the soft g
苯酚是重要的有机化工原材料,广泛应用于石油化工、农业及塑料工业等。目前异丙苯法是世界上生产苯酚最主要的方法,其生产能力约占世界苯酚总产能的90%以上,但是异丙苯法存在工艺
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
为筛选甘蔗凤梨病防治药剂,寻求最佳使用技术方法,结合新植蔗下种,采用蔗种单芽包衣、双芽包衣、双芽浸种等3种方式对28.7%精甲霜灵·咯菌腈·噻虫嗪FS防治甘蔗凤梨病效果进
多示例多标记学习技术可用于图像分类,目前已有很多相关研究成果.本文通过改善图像包的生成方法,分割并提取图像的颜色和纹理特征,使用最小Hausdorff距离作为包间的距离度量
农业害虫的危害一直都是我国农业面临的重大难题。我们长期以来大量施用化学农药防治农业害虫。然而由于化学农药的滥用,给人类的健康和环境造成了巨大威胁,同时害虫产生了抗
为了处理在不确定性环境下的自动演绎,本文重点研究基于自动推理理论的推理方法,其理论是真值定义在格蕴涵代数结构上格值逻辑系统中的。在确定真值水平α的二元归结已有的
本文提出一种基于颜色和纹理特征相互关联融合的图像检索新方法。首先非等间隔量化HSV颜色空间,提取图像的颜色特征;同时利用Gabor小波提取图像的纹理特征。针对内容分布简
针对命题逻辑中子句集中子句的划分以及冗余子句和冗余文字的概念,将命题逻辑中的文字分为必需文字、有用文字和无用文字,分别给出相应的等价描述方法,进而讨论三种文字之间
含铁类LDH(M2+Fe3+-LDH)在许多领域,如电、磁、光及催化等方面具有广泛的应用前景。因为Fe3+不同于Al3+,Fe3+不具有两性,在与其他M2+形成共沉淀时,对体系的pH值要求范围较窄,使其在