首页> 中文期刊>淮阴师范学院学报（自然科学版） >基于正规剩余格的一个逻辑系统及其完备性

基于正规剩余格的一个逻辑系统及其完备性

开具论文收录证明 >>

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

页面导航

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

摘要

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.

著录项

来源
《淮阴师范学院学报（自然科学版）》|2002年第1期|6-12|共7页
作者
裴道武;
展开▼
作者单位

盐城师范学院,数学系,江苏,盐城,224002;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
模糊逻辑; 正规剩余格; 基于正规剩余格的逻辑系统; 完备性;

相似文献

中文文献
外文文献
专利

1. 相似剩余格及其对应逻辑系统的完备性 [J] . 王军涛 . 高校应用数学学报A辑 . 2021,第001期
2. 基于剩余格语义的格值逻辑系统的程度化方法 [J] . 左卫兵 . 电子学报 . 2017,第008期
3. 否定非对合剩余格上基于正规模糊理想的一致拓扑空间 [J] . 刘春辉 . 高校应用数学学报A辑 . 2019,第002期
4. 一个基于顺序条件函数的信念逻辑系统 [J] . 萧瑶 . 毕节学院学报 . 2009,第007期
5. 基于FI-代数的一个逻辑系统 [J] . 朱怡权 . 模糊系统与数学 . 2005,第2期
6. Hoare逻辑中相对完备性的一个较弱充分条件 [C] . 邵志清 . 第三届全国青年计算机学术会议 . 1991
7. 剩余格与基于剩余格的几类代数系统的关系 [A] . 苏忍锁 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号