期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
“中介逻辑”与Woodruff三值逻辑系统
被引量：
5
原文传递
导出
摘要
在《“中介逻辑”的特征问题》一文里,我们对近来朱梧梗、肖奚安等同志发表的称为“中介逻辑”的命题系统MP的三个联接词(对立否定),～(模糊否定)与→(蕴含)建立了如下的三值真值表:
作者
李祥
李广元
机构地区
贵州大学数学系
出处
《科学通报》
EI
CAS
CSCD
北大核心
1989年第5期329-332,共4页
Chinese Science Bulletin
基金
国家自然科学基金
关键词
中介逻辑
三值逻辑
Woodruff系统
分类号
O141.3 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
3
共引文献
0
同被引文献
47
引证文献
5
二级引证文献
11
参考文献
3
1
李祥，科学通报，1988年，33卷，22期，1686页
2
朱梧--，自然杂志，1986年，9卷，1期，43页
3
朱梧--，1986年
同被引文献
47
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
引证文献
5
1
潘正华.
中介命题逻辑的一种无穷值语义模型及其意义[J]
.计算机研究与发展,2008,45(z1):158-164.
被引量：3
2
洪龙,周宁宁.
中介逻辑与中介公理集合论的综述[J]
.南京邮电大学学报（自然科学版）,2008,28(4):87-94.
被引量：2
3
张胜礼,潘正华.
中介命题逻辑一种新的无穷值语义模型及意义[J]
.计算机工程与应用,2010,46(31):45-49.
被引量：5
4
张胜礼.
中介命题逻辑一种改进的无穷值语义模型[J]
.兴义民族师范学院学报,2011(1):101-105.
5
李祥,李广元.
三值逻辑的Craig中插定理与Herbrand定理[J]
.贵州大学学报（自然科学版）,2003,20(1):1-8.
被引量：1
二级引证文献
11
1
洪龙,周宁宁.
中介逻辑与中介公理集合论的综述[J]
.南京邮电大学学报（自然科学版）,2008,28(4):87-94.
被引量：2
2
王岑,潘正华.
基于中介逻辑的模糊知识表示及应用[J]
.计算机工程与科学,2008,30(11):80-82.
被引量：8
3
张胜礼,潘正华.
中介命题逻辑一种新的无穷值语义模型及意义[J]
.计算机工程与应用,2010,46(31):45-49.
被引量：5
4
贾海涛,潘正华.
基于中介逻辑的带有三种否定的RDF扩展[J]
.计算机应用与软件,2011,28(3):41-43.
5
张胜礼.
中介命题逻辑一种改进的无穷值语义模型[J]
.兴义民族师范学院学报,2011(1):101-105.
6
张胜礼,潘正华.
中介谓词逻辑一种改进的语义解释及λ-归结[J]
.计算机工程与应用,2011,47(22):41-43.
7
郇洪江,郇红艳.
基于中介度量理论的车辆检测算法[J]
.计算机工程与设计,2011,32(11):3803-3806.
8
张胜礼.
带有不同否定的模糊命题逻辑的形式演绎系统[J]
.计算机科学与探索,2014,8(4):494-505.
被引量：7
9
张胜礼.
带有矛盾否定、对立否定和中介否定的模糊推理[J]
.模式识别与人工智能,2014,27(7):599-610.
被引量：9
10
吴晓刚,潘正华.
基于模糊命题逻辑形式系统FLcom的模糊推理及应用[J]
.计算机科学,2015,42(B11):100-103.
1
娄银华,张秋霞,吴洪博.
三值逻辑命题的条件真度理论[J]
.云南师范大学学报（自然科学版）,2008,28(5):6-10.
被引量：4
2
王庆平,张兴芳.
Lukasiewicz三值逻辑系统中的随机化研究[J]
.计算机科学与探索,2009,3(2):210-217.
被引量：1
3
隋云云.
几个三值命题逻辑系统中命题的条件真度[J]
.潍坊学院学报,2009,9(4):77-80.
被引量：1
4
谭红艳,李永礼.
具有非单调推理能力的三值逻辑系统TL[J]
.兰州大学学报（自然科学版）,1992,28(S1):65-71.
5
姚从军,万平.
澄清对卢卡西维茨的三值逻辑系统的两个错误认识[J]
.湖南科技学院学报,2006,27(5):19-21.
被引量：1
6
顾红芳,白鹏,肖奚安,朱梧槚.
MP~*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究[J]
.数学杂志,2000,20(3):305-310.
被引量：3
7
王庆平,张兴芳,王大全.
三值逻辑系统G_3中的随机化研究[J]
.山东大学学报（理学版）,2008,43(2):101-108.
被引量：4
8
阚婷,张兴芳,王作真.
三值逻辑系统W_3中的随机化研究[J]
.模糊系统与数学,2009,23(5):34-40.
被引量：7
9
程贞敏,尤飞,李洪兴.
Kleene蕴涵算子的导出算子的n值逻辑系统I_n[J]
.模糊系统与数学,2005,19(1):18-21.
科学通报
1989年 第5期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
