基于G(o)del蕴涵算子的导出算子的n值逻辑系统

杨春志; 李永明

首页> 中文期刊> 《纺织高校基础科学学报》 >基于G(o)del蕴涵算子的导出算子的n值逻辑系统

基于G(o)del蕴涵算子的导出算子的n值逻辑系统

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较.

著录项

来源
《纺织高校基础科学学报》 |2008年第1期|10-13|共4页
作者
杨春志; 李永明;
展开▼
作者单位

淮南师范学院;

数学系;

安徽;

淮南;

232001;

陕西师范大学;

数学与信息科学学院;

陕西;

西安;

710062;

陕西师范大学;

计算机科学学院;

陕西;

西安;

710062;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
Godel蕴涵算子; Godel蕴涵算子的导出算子G3; 重言式; n值逻辑系统Gn;

相似文献

中文文献
外文文献
专利

1. Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统Ln [J] . 平静水 . 淮南师范学院学报 . 2010,第003期
2. Kleene蕴涵算子的导出算子的n值逻辑系统I_n [J] . 程贞敏 ,尤飞 ,李洪兴 . 模糊系统与数学 . 2005,第1期
3. 论Gdel蕴涵算子不宜用于建立模糊逻辑系统 [J] . 王伟 ,王国俊 . 模糊系统与数学 . 2005,第2期
4. 蕴涵算子及二值逻辑系统的扩充 [J] . 辛晓东 . 榆林高等专科学校学报 . 2000,第001期
5. 基于G?del蕴涵算子的新型α-三I算法 [J] . 双靖宁 ,惠小静 ,贺锦瑞 . 计算机科学与探索 . 2015,第012期
6. 基于蕴涵算子上的环的模糊理想 [C] . 宋璐瑶 ,廖祖华 ,曹姝 . 2011年江苏省人工智能学术会议 . 2011
7. 正则蕴涵算子与新型模糊逻辑系统的研究 [A] . 任芳 . 2005

基于G(o)del蕴涵算子的导出算子的n值逻辑系统

摘要

著录项

相似文献

相关主题

期刊订阅