期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
中介命题扩张系统MP推理规则集的简化
1
作者
莫志浩
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2001年第2期149-154,共6页
中介系统是以中介原则为基础 ,以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑 ML,它由中介命题系统 MP及其扩张系统 MP*、中介谓词演算系统 MF及其扩张系统 MF* ,以及带等词的中介谓词演算系统 ME* 组成。...
中介系统是以中介原则为基础 ,以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑 ML,它由中介命题系统 MP及其扩张系统 MP*、中介谓词演算系统 MF及其扩张系统 MF* ,以及带等词的中介谓词演算系统 ME* 组成。本文讨论中介命题扩张系统 MP* 推理规则集 SA的简化。对于一个形式系统的推理规则而言 ,在保证其相容性、完备性和独立性的前提下 ,形式系统的推理规则集越简洁 ,使用越方便。本文对规则集 SA进行了简化 ,方法是 :如果 SA中某条规则可由 SA中其余规则推导出来 ,并且推导过程所用形式定理的证明未用到此规则 ,则此规则可被简化而不影响 SA的效力。作者简化了 SA中 8条规则并且证明简化后的规则集与原规则集
展开更多
关键词
中介系统
中介命题系统
mp
中介命题扩张系统
mp
^＊
命题联结构
推理规则
下载PDF
职称材料
题名
中介命题扩张系统MP推理规则集的简化
1
作者
莫志浩
机构
解放军理工大学理学院
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2001年第2期149-154,共6页
文摘
中介系统是以中介原则为基础 ,以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑 ML,它由中介命题系统 MP及其扩张系统 MP*、中介谓词演算系统 MF及其扩张系统 MF* ,以及带等词的中介谓词演算系统 ME* 组成。本文讨论中介命题扩张系统 MP* 推理规则集 SA的简化。对于一个形式系统的推理规则而言 ,在保证其相容性、完备性和独立性的前提下 ,形式系统的推理规则集越简洁 ,使用越方便。本文对规则集 SA进行了简化 ,方法是 :如果 SA中某条规则可由 SA中其余规则推导出来 ,并且推导过程所用形式定理的证明未用到此规则 ,则此规则可被简化而不影响 SA的效力。作者简化了 SA中 8条规则并且证明简化后的规则集与原规则集
关键词
中介系统
中介命题系统
mp
中介命题扩张系统
mp
^＊
命题联结构
推理规则
Keywords
medium
system
inference
rule
medium
propositional
system
mp
medium
propositional
expansive
system
mp
*
propositional
connective
si
mp
lification
of
the
inference
rule
分类号
O141 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
中介命题扩张系统MP推理规则集的简化
莫志浩
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2001
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
