逻辑代数相关论文
随着电子技术的发展以及人工智能的出现,对模糊逻辑和逻辑代数的研究已经成为当前学者讨论的热门话题,并且取得了一系列的科研成果......
随着信息科学与人工智能研究的不断发展,模糊逻辑与多值逻辑已取得十分丰硕的成果.逻辑代数作为命题逻辑系统的语义理论已形成了一......
逻辑代数作为模糊命题系统的语义理论已形成了一个重要的代数分支.在非经典逻辑中,由J. Pavelka引入的丰富剩余格是一种非常重要的......
在逻辑代数中,蕴涵算子的性质决定了逻辑代数的基本结构,WBR0-代数是以蕴涵算子和（?）定义于一般集合上的逻辑代数,并且WBR0-代数的无......
各种逻辑代数是做为非经典逻辑的语义系统被提出的,其中剩余格是一类最基本的模糊逻辑代数,几乎所有的子结构逻辑都是以它为基础来......
摘要：针对高职教育和高职学生的特点，以学生职业能力的培养为根本出发点，探讨项目化教学的必要性，给出项目化教学的课程设计思路，选取真......
对逻辑代数系统的研究是非经典数理逻辑的一个重要研究方向,为了进一步揭示弱MTL-代数的特性,本文从多个方面对其进行了再研究.首......
MV-代数是研究逻辑代数的重要理论基础.本文给出了MV-代数中一种距离函数的定义,并且讨论了它的性质；其次,在MV-代数中引入了“e”......
1958年,C.C.Chang教授通过引入MV代数证明了Lukasiewicz命题逻辑系统的完备性,因此对逻辑代数结构的研究受到了逻辑学者的广泛关注......
模糊逻辑理论中,剩余格是应用较广泛的逻辑代数结构.为了进一步研究剩余格的性质,本文从多个方面对其进行了比较深入的再研究.首先......
运用犹豫模糊集的方法和原理研究非对合剩余格的理想问题.引入了非对合剩余格的犹豫模糊理想概念,给出了犹豫模糊理想的若干性质,......
模糊系统控制的理论和技术已经取得了举世公认的成功，作为模糊控制理论基础的模糊推理与模糊逻辑也日益受到关注。在模糊推理的发展......
多值逻辑与当今的一些前沿学科如模糊控制，人工智能，神经网络和计算机科学等有着密切的联系．不同的多值逻辑系统对应着不同的多值逻辑......
逻辑代数是计算机科学、信息科学、控制论与人工智能等许多领域推理机制的代数基础.格蕴涵代数是一种逻辑代数，它是研究格值逻辑理......
自从布尔代数作为经典二值逻辑所对应的代数系统被提出以来，各种不同逻辑系统所相应的代数系统受到研究人员的广泛关注，并取得了大量......
多值逻辑的研究主要分为直观语义，系统构建和代数语义三个部分，本报告大致也是围绕这三方面展开，内容共分三章。第一章介绍了多值逻辑......
[摘要]电气控制线路是我们生产中许多机电设备的控制动力，分析机电设备的电气控制线路对设计、使用、维修、调试、改造机电设备都有......
通过举例 ,介绍了四种梯形图的设计方法 ,并指出了每种方法的特点
By way of example, introduced four kinds of ladder design ......
经典的D IJKSTRA和BELLM AN-F LOYD通信网络路由算法,只能根据特定网络参数得到最佳路由,却无法获得网络存在的全部可用路由,而通......
通过对WBR0-代数中各条件的研究,首先讨论它们之间的独立性,进而将WBR0-代数进行简化.其次讨论WBR0-代数的性质及其分配性,并构造......
通过在BR0代数中引入了新的运算＊,首先定义了BR0代数中的＊理想、素＊理想、生成＊理想、极大＊理想,并研究了对应理想的一些性质;其次,通过......
BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先......
主要对IMTL-代数中的零化算子和?理想的性质及其相互关系进行了研究。首先，将零化算子的概念引入到IMTL-代数中，在IMTL-代数中分别讨......
本文运用逻辑代数的基本理论及"图式结合"的逻辑思想方法,研究并解决了逻辑代数中三个主要问题.......
本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和......
将密码协议的安全需求分为浅层需求和深层需求2个层面，阐述了密码协议的分层完全需求，采用近世代数和时序逻辑的方法定义了形式化描......
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统.研究了在A水平上系统的赋值和公......
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证......
探讨BR0代数中不可交换的t模。研究了王国俊教授的《非经典数理逻辑》中剩余格部分，结合吴洪博教授所提出的BR0代数，从t模角度切入，限......
为了进一步研究BR0一代数的结构．首先在BR0-代数中给出了蕴涵理想，O-理想和V-理想的定义；其次，讨论了BR0-代数中这三种理想的关系；最后，......
通过对B R0-代数无序表示形式的再研究，利用逻辑代数中交、并运算对偶的特点以及对偶范畴的思想，从经典代数的角度出发于一般集合上......
一、逻辑设计法逻辑设计法就是利用逻辑代数这一数学工具设计电气控制线路。在继电接触器控制电路中，电器的线圈或触点的工作存在着......
给出剩余格上存在度量的一个充分条件及由该条件决定的该类剩余格上的度量结构,讨论了该度量结构下该类剩余格中的聚点问题,并证明......
本文将讨论数字人体的离散动态系统,主要研究离散动力学与离散混沌.本文涉及到的离散动态人体系统实际上包含两类:一类是把人体系......
逻辑代数是研究逻辑电路的数学工具，文章试图通过对逻辑代数运算顺序作准确的分析和全面的描述，举例说明逻辑运算顺序在数字电路教学......
可编程控制器是以微处理器为核心的工业控制装置.它将传统的继电器控制与计算机技术结合起来.可编程控制器普遍采用梯形图程序设计......
已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对，步骤较为繁琐，并且所提供的方法不适合于带抑止孤的网．采用一种与传......
引入BR0代数的Fuzzy理想与素Fuzzy理想的概念；给出了Fuzzy理想与素Fuzzy理想的等价形式；在（素）Fuzzy理想基础之上又进一步引入了（素）直觉......
三角模和蕴涵算子是逻辑代数中的一对相互关联的基本算子，而WBR0-代数是仅以蕴涵算子为基本算子定义于一般集合上的逻辑代数。对WBR......
在MV-代数中引入了⊕理想概念,并对⊕理想与同余关系的联系及其相关性质进行了初步研究。在MV-代数中利用蕴涵算子⊕给出了⊕理想......
正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数,它是BR0-代数和BL-代数的基础逻辑代数。基于经典代数的思想和方法,讨论......
提供了可编程控制器控制梯形图的一种快速设计方法,它的关键是如何将三大设计依据转换为程序图,或者说如何用一个图形来描绘电气主......
在复平面C（[0，1]）上建立了四种逻辑代数，讨论了其性质，并且定义了C（[0，1]）上的逻辑度量，得到了四种逻辑度量空间，最后证明了在复平面上存在一......
