基于括号表示法的4值逻辑自然演绎系统

杜国平

首页> 中文期刊> 《湖北大学学报（哲学社会科学版）》 >基于括号表示法的4值逻辑自然演绎系统

基于括号表示法的4值逻辑自然演绎系统

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可以严格证明4值逻辑自然演绎系统PD 4是经典2值逻辑、卢卡西维茨3值逻辑以及一般3值逻辑系统的扩充。

著录项

来源
《湖北大学学报（哲学社会科学版）》 |2020年第2期|36-49|共14页
作者
杜国平;
展开▼
作者单位

中国社会科学院哲学研究所北京100732;

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
联结词; 括号表示法; 4值逻辑; 自然演绎系统; 扩充;

相似文献

中文文献
外文文献
专利

1. 基于括号表示法的一阶逻辑系统 [J] . 杜国平 . 安徽大学学报（哲学社会科学版） . 2019,第003期
2. 格值命题逻辑系统中基于滤子的MP归结演绎 [J] . 夏世芬 ,秦应兵 ,徐扬 . 模糊系统与数学 . 2009,第1期
3. 逻辑、逻各斯、定义与自然演绎系统——亚里士多德逻辑的当代诠释 [J] . 朱建平 . 燕山大学学报（哲学社会科学版） . 2013,第004期
4. 论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 [J] . 余军成 . 毕节学院学报 . 2017,第003期
5. 论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统 [J] . 余军成 . 贵州工程应用技术学院学报 . 2017,第003期
6. 基于哲学本体论的真值演算系统——实现计算机理解自然语言的逻辑方法 [C] . Wan Ji hua ,万继华 . 第四届全国逻辑系统、智能科学与信息科学学术会议 . 2008
7. 基于矛盾体分离的命题逻辑动态自动演绎推理求解系统研究 [A] . 陈青山 . 2018

基于括号表示法的4值逻辑自然演绎系统

摘要

著录项

相似文献

相关主题

期刊订阅