基于有限格蕴涵代数的格值命题逻辑语法系统

来源 :西南交通大学学报 | 被引量 : 0次 | 上传用户:simon746cn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.
其他文献
介绍机组工艺参数以及1250四辊可逆轧机控制系统的组成,阐述控制系统功能的实现。
我国工业化发展的脚步越来越快,大型工业所需要的原料资源也变得越来越紧张。在建筑材料水泥的生产中,通常会使用旁路放风系统,它应用的是DCS控制系统原理。为进一步提高生产
以经过近10年使用的形变量日益增大的轧机为研究对象.针对H型钢精轧厚度控制系统辊缝调整AGC系统,研究新的机架型变参数优化措施和编码器基础位置优化方式。
挤塑板生产线系统中包含数台变频器、温度控制器等从站设备,本文介绍PLC与其通过现场总线建立连接的方法。