期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
“中介”谓词逻辑演算MF的特征问题
被引量：
7
Soundness and Completeness Theorems on“Medium”Logic MF (MF)
下载PDF
职称材料
导出
摘要
本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。
作者
李祥
李广元
机构地区
贵州大学数学系
出处
《贵州大学学报（自然科学版）》
1988年第3期129-137,共9页
Journal of Guizhou University:Natural Sciences
关键词
三值结构
“中介”逻辑系统
MF(MF)
three-valued structures
medium logic MF(MF*)
分类号
O1 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
29
引证文献
7
二级引证文献
28
同被引文献
29
1
潘正华.
中介命题逻辑的一种无穷值语义模型及其意义[J]
.计算机研究与发展,2008,45(z1):158-164.
被引量：3
2
潘正华.
中介逻辑ML的一种模型[J]
.南京师大学报（自然科学版）,1989,12(1):21-25.
被引量：2
3
朱梧槚,张东摩.
中介自动推理的理论与实现(Ⅰ)——中介命题逻辑的表推演系统[J]
.模式识别与人工智能,1994,7(2):87-93.
被引量：3
4
张东摩,朱梧槚.
中介自动推理的理论与实现(Ⅲ)——中介逻辑定理证明器[J]
.模式识别与人工智能,1994,7(4):263-268.
被引量：1
5
潘正华.
中介逻辑命题演算扩张系统MP的完备性[J]
.应用数学,1989,2(2):73-74.
被引量：3
6
盛建国.
中介逻辑的命题演算系统（MP^＊）的一些特征[J]
.应用数学,1989,2(4):40-44.
被引量：4
7
宫宁生,张东摩,朱梧槚.
中介自动推理的理论与实现(Ⅳ)——一类基于中介逻辑的模态逻辑系统[J]
.模式识别与人工智能,1995,8(1):6-13.
被引量：3
8
曹汝鸣,毛宇光,陈文彬.
中介命题演算系统MP^M的公理完备集[J]
.计算机科学,2006,33(2):151-154.
被引量：1
9
潘正华.
中介逻辑ML的语法完全性[J]
.计算机科学,2006,33(10):131-133.
被引量：1
10
曹汝鸣,毛宇光,陈文彬.
中介命题演算系统MP^M的代数系统[J]
.Journal of Mathematical Research and Exposition,2006,26(4):846-850.
被引量：2
引证文献
7
1
潘正华.
中介命题逻辑的一种无穷值语义模型及其意义[J]
.计算机研究与发展,2008,45(z1):158-164.
被引量：3
2
潘正华.
中介逻辑ML的语法完全性[J]
.计算机科学,2006,33(10):131-133.
被引量：1
3
洪龙,周宁宁.
中介逻辑与中介公理集合论的综述[J]
.南京邮电大学学报（自然科学版）,2008,28(4):87-94.
被引量：2
4
潘正华.
知识中不同否定关系的一种逻辑描述[J]
.自然科学进展,2008,18(12):1491-1499.
被引量：20
5
张胜礼,潘正华.
中介命题逻辑一种新的无穷值语义模型及意义[J]
.计算机工程与应用,2010,46(31):45-49.
被引量：5
6
张丽娟,潘正华.
中介命题逻辑系统的强完全性[J]
.无锡教育学院学报,2000,20(2):63-64.
7
李祥,李广元.
三值逻辑的Craig中插定理与Herbrand定理[J]
.贵州大学学报（自然科学版）,2003,20(1):1-8.
被引量：1
二级引证文献
28
1
洪龙,周宁宁.
中介逻辑与中介公理集合论的综述[J]
.南京邮电大学学报（自然科学版）,2008,28(4):87-94.
被引量：2
2
王岑,潘正华.
基于中介逻辑的模糊知识表示及应用[J]
.计算机工程与科学,2008,30(11):80-82.
被引量：8
3
王岑,潘正华,程天笑.
基于中介逻辑的模糊知识推理的搜索处理[J]
.计算机工程与应用,2009,45(21):175-178.
被引量：8
4
张丽珍,潘正华.
基于中介真值度量的模糊综合评判[J]
.计算机与数字工程,2009,37(8):67-71.
被引量：4
5
张丽珍,潘正华.
基于中介逻辑的模糊推理算法[J]
.计算机工程与科学,2010,32(9):65-68.
被引量：2
6
张胜礼,潘正华.
中介命题逻辑一种新的无穷值语义模型及意义[J]
.计算机工程与应用,2010,46(31):45-49.
被引量：5
7
贾海涛,潘正华.
基于中介逻辑的带有三种否定的RDF扩展[J]
.计算机应用与软件,2011,28(3):41-43.
8
张胜礼.
中介命题逻辑一种改进的无穷值语义模型[J]
.兴义民族师范学院学报,2011(1):101-105.
9
张胜礼,潘正华.
中介谓词逻辑一种改进的语义解释及λ-归结[J]
.计算机工程与应用,2011,47(22):41-43.
10
张胜礼,潘正华.
一种改进的具有三种否定的新模糊集及其应用[J]
.计算机工程与应用,2011,47(23):34-38.
被引量：13
1
陈立华.
从理论话语到差异原理——体现多元性立论过程的后现代图书馆学批判分析[J]
.图书馆理论与实践,2018,0(4):13-15.
被引量：1
2
龚槟.
关于考试成绩分布的基本特征问题[J]
.长江工程职业技术学院学报,1986(2):27-44.
3
苏尚智.
刑事诉讼法学中几个有争论的问题[J]
.法学研究,1988,10(3):43-47.
4
牛俊民,李伟.
重新认识社会主义初级阶段民主的基本特征[J]
.兰州学刊,1987(5):60-63.
贵州大学学报（自然科学版）
1988年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
