首页> 中文会议>第六届中国不确定系统年会 >基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论

基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论

页面导航

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

摘要

基于Pavelka关于模糊命题逻辑的思想,本文初步建立了一种基于[0,1]区间上Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论.定义了程度化的形式证明的概念,并在此基础之上,定义了语法结论算子.

著录项

来源
《第六届中国不确定系统年会》|2008年|129-132|共4页
会议地点洛阳
作者

展开▼
作者单位

中国运筹学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类命题演算、谓词演算、类演算;模糊数学;
关键词
模糊命题逻辑; 形式证明; 语法结论算子; Lukasiewicz蕴涵代数; Pavelka;

相似文献

中文文献
外文文献
专利

1. 基于有限格蕴涵代数的格值命题逻辑语法系统 [J] . 马骏 ,高雅 ,秦克云 . 西南交通大学学报 . 2004,第001期
2. 基于有限格蕴涵代数的格值命题逻辑语义系统 [J] . 马骏 ,秦克云 ,徐扬 . 西南交通大学学报 . 2002,第005期
3. 基于Lukasiewicz的直觉模糊三I蕴涵算子R_(IL) [J] . 薛占熬 ,刘杰 ,程慧茹 . 南京大学学报：自然科学版 . 2015,第1期
4. 基于Lukasiewicz三角模及其剩余蕴涵的模糊粗糙集 [J] . 钟玉田 ,王峰 ,秦克云 . 计算机工程与应用 . 2007,第036期
5. 基于格蕴涵代数的模糊幂集 [J] . 秦克云 ,徐扬 . 模糊系统与数学 . 1993,第2期
6. 基于Lukasiewicz蕴涵算子的贴近度和距离 [C] . 张东晓 ,陈水利 . 中国系统工程学会模糊数学与模糊系统专业委员会第十四届学术会议 . 2008
7. 基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究 [A] . 邹丽 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号