切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于有限格蕴涵代数的格值命题逻辑语法系统
基于有限格蕴涵代数的格值命题逻辑语法系统
来源 :西南交通大学学报 | 被引量 : 0次 | 上传用户:simon746cn
【摘 要】
:
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠
【作 者】
:
马骏
高雅
秦克云
徐扬
【机 构】
:
西南交通大学电气学院,西南交通大学计算机与通讯工程学院,西南交通大学理学院
【出 处】
:
西南交通大学学报
【发表日期】
:
2004年1期
【关键词】
:
多值逻辑
逻辑代数
格蕴涵代数
语法系统
格值命题逻辑
many-valued logic
logic algebra
lattice implicatio
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.
其他文献
1250四辊可逆轧机控制系统
介绍机组工艺参数以及1250四辊可逆轧机控制系统的组成,阐述控制系统功能的实现。
期刊
张力计算
张力控制
卷径计算
双电机同轴控制
负荷平衡
新型干法水泥生产中旁路放风系统的DCS控制
我国工业化发展的脚步越来越快,大型工业所需要的原料资源也变得越来越紧张。在建筑材料水泥的生产中,通常会使用旁路放风系统,它应用的是DCS控制系统原理。为进一步提高生产
期刊
水泥生产
旁路放风系统
DCS控制系统
H型钢精轧厚度控制系统机架形变参数的优化
以经过近10年使用的形变量日益增大的轧机为研究对象.针对H型钢精轧厚度控制系统辊缝调整AGC系统,研究新的机架型变参数优化措施和编码器基础位置优化方式。
期刊
TCS
AGC
LogiCAD-32
参数优化
现场总线在挤塑板生产线主机系统中的应用
挤塑板生产线系统中包含数台变频器、温度控制器等从站设备,本文介绍PLC与其通过现场总线建立连接的方法。
期刊
PLC
PROFIBUS-DP
MODBUS
C2000变频器
其他学术论文