切换导航
文档转换
企业服务
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变频器
应重视运用财产刑严惩经济罪犯
【正】 当前,打击经济领域严重犯罪活动的斗争步步深入。但是,经济犯罪活动并没有停止,经济犯罪案件甚至有所上升。产生这一问题的原因当然是多方面的,但笔者认为,在刑罚的具
期刊
财产刑
罪犯
经济犯罪案件
刑罚方法
经济领域
附加刑
没收财产
犯罪分子
刑罚体系
经济案件
整顿和规范房地产市场价格秩序的几点做法与思考
【正】 在整顿和规范市场经济秩序的工作中,顺义区物价局坚持一切从实际出发,选准突破口和切入点,突出重点,有针对性地开展工作。根据本地区经济发展的具体情况,确定以整顿和
期刊
房地产市场价格
价格行为
住宅销售价格
一切从实际出发
物业管理费
房地产开发公司
商品房价格
北京市物价局
共用设施设备
价格部门
综合治理必须抓好三个环节——汕头市129名刑满释放、解除劳教人员情况调查
【正】 如何预防、减少刑满释放和解除劳教人员重新违法犯罪,是当前社会治安和劳改、劳教工作中急需解决的一个重要问题,它对于争取社会治安的根本好转至关重要。今年五月底
期刊
三个环节
违法犯罪人员
劳教人员
综合治理
汕头市
社会治安
受改造
预防
解除
实际工作
政治理论课的改革势在必行
【正】 随着我国社会主义现代化建设事业的日益发展和经济体制、教育体制以及其他各项改革的日益深入,我国高等院校的政治理论课显得越来越不适应。内容陈旧、脱离实际的问题
期刊
政治理论课教学改革
马克思主义
社会主义现代化道路
高等院校
马列主义
政治理论教学
科学性
中国共产党
有中国特色
革命性
认真周到的服务,开拓新的工作领域
【正】 为适应首都社会主义市场经济的发展和价格改革的新形势,组建了隶属于北京市物价局的事业单位——北京市价格认证中心。近年来,市、区、县物价局进一步加强了对价格鉴
期刊
价格服务
北京市物价局
实行价格
价格改革
认证机构
价格评估
持证上岗制度
价格鉴证师
价格行为
鉴定机构
与本文相关的学术论文