Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统Ln

平静水

首页> 中文期刊>淮南师范学院学报 >Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统Ln

Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统Ln

开具论文收录证明 >>

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

页面导航

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

摘要

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

著录项

来源
《淮南师范学院学报》|2010年第3期|4-6|共3页
作者
平静水;
展开▼
作者单位

安徽大学,数学学院,安徽,合肥,230039;

淮南师范学院,数学与计算科学系,安徽,淮南,232001;

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

相似文献

中文文献
外文文献
专利

1. 基于G(o)del蕴涵算子的导出算子的n值逻辑系统 [J] . 杨春志 ,李永明 . 纺织高校基础科学学报 . 2008,第001期
2. Kleene蕴涵算子的导出算子的n值逻辑系统I_n [J] . 程贞敏 ,尤飞 ,李洪兴 . 模糊系统与数学 . 2005,第1期
3. 蕴涵算子及二值逻辑系统的扩充 [J] . 辛晓东 . 榆林高等专科学校学报 . 2000,第001期
4. 增加Δ算子的Gödeln值命题逻辑系统理论的平均真度 [J] . 王勇勇 ,惠小静 . 计算机工程与应用 . 2018,第019期
5. 基于Lukasiewicz的直觉模糊三I蕴涵算子R_(IL) [J] . 薛占熬 ,刘杰 ,程慧茹 . 南京大学学报：自然科学版 . 2015,第1期
6. 基于Lukasiewicz蕴涵算子的贴近度和距离 [C] . 张东晓 ,陈水利 . 中国系统工程学会模糊数学与模糊系统专业委员会第十四届学术会议 . 2008
7. 正则蕴涵算子与新型模糊逻辑系统的研究 [A] . 任芳 . 2005

Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统Ln

摘要

著录项

相似文献

相关主题

期刊订阅