首页> 中文期刊> 《西南交通大学学报》 >基于有限格蕴涵代数的格值命题逻辑语义系统

基于有限格蕴涵代数的格值命题逻辑语义系统

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统.研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统"有效性"的可判定性并给出了判定算法.

著录项

来源
《西南交通大学学报》 |2002年第5期|557-560|共4页
作者
马骏; 秦克云; 徐扬;
展开▼
作者单位

西南交通大学应用数学系,四川,成都,610031;

西南交通大学应用数学系,四川,成都,610031;

西南交通大学应用数学系,四川,成都,610031;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
多值逻辑; 逻辑代数; 格蕴涵代数;

相似文献

中文文献
外文文献
专利

1. 基于有限格蕴涵代数的格值命题逻辑语法系统 [J] . 马骏 ,高雅 ,秦克云 . 西南交通大学学报 . 2004,第001期
2. 格蕴涵代数及基于格蕴涵代数的格值逻辑系统的研究 [J] . 徐扬 . 邯郸学院学报 . 1999,第003期
3. 语言真值格蕴涵代数的蕴涵不可约元 [J] . 赖家俊 ,徐扬 . 电子学报 . 2014,第010期
4. 基于语言值格蕴涵代数的偏好顺序结构评估决策方法 [J] . 邹丽 ,罗思元 ,史园园 . 模式识别与人工智能 . 2018,第004期
5. 基于十元格蕴涵代数的语言值评价方法 [J] . 刘新 ,殷明娥 ,邹丽 . 辽宁工程技术大学学报：自然科学版 . 2010,第5期
6. 基于格蕴涵代数的格值逻辑中的类归结方法 [C] . 刘军 . 全国首届模糊控制学术交流会 . 1997
7. 基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究 [A] . 邹丽 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号