期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
命题重言式形式化证明的实现
下载PDF
职称材料
导出
摘要
描述了命题重言式形式化证明的思想。采用生成推理树方法进行了具体的实现 ,获得了良好的效果。
作者
王加阳
蒋外文
机构地区
中南大学信息与工程学院
出处
《信息技术》
2000年第11期9-11,共3页
Information Technology
关键词
命题
重言式
形式化
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
邬晓钧.
《网友聚会》解答[J]
.程序员,2008(4):110-111.
2
王礼萍,张树功.
重言式和矛盾式的代数化证明[J]
.计算机与数字工程,2009,37(8):17-21.
被引量：3
3
张兴芳,孟广武.
模糊命题的多维三层逻辑的语义[J]
.计算机学报,2013,36(11):2283-2289.
被引量：1
4
赵英阳,许道云.
NT-HIT(k)公式的存在性[J]
.贵州大学学报（自然科学版）,2005,22(2):169-175.
5
罗敏霞,姚宁.
乘积逻辑系统中公式的真度函数理论[J]
.计算机工程与应用,2011,47(25):58-60.
6
李金厚,蒋静坪.
从逻辑系统到知识系统[J]
.计算机科学,2004,31(3):99-101.
7
陈胜,赵林度,韩莹.
区间值语义下的Agent信念模型[J]
.系统工程理论与实践,2005,25(5):118-122.
被引量：2
8
潘小东,徐扬.
有限格值命题逻辑的语义理论[J]
.中国科学：信息科学,2010,40(11):1417-1427.
9
马盈仓,何华灿.
泛逻辑的基本形式系统中的广义重言式理论[J]
.计算机科学,2005,32(6):96-98.
被引量：1
10
马盈仓,何华灿,薛占熬.
基于零级泛与运算的泛逻辑中广义重言式理论[J]
.计算机工程与应用,2007,43(3):16-18.
信息技术
2000年 第11期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
