首页> 中文期刊> 《软件学报》 >逻辑系统NMG的满足性和紧致性

逻辑系统NMG的满足性和紧致性

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

紧致性是模糊逻辑的一个重要性质.现已经证明Lukasiewicz命题逻辑、Godel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,进而证明了NMG也是紧的.

著录项

来源
《软件学报》 |2009年第3期|515-523|共9页
作者
周红军; 王国俊;
展开▼
作者单位

陕西师范大学;

数学与信息科学学院;

陕西;

西安;

710062;

陕西师范大学;

数学与信息科学学院;

陕西;

西安;

710062;

西安交通大学;

基础科学研究中心;

陕西;

西安;

710049;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
模糊逻辑; 逻辑系统NMG; 极大相容理论; 满足性; 紧致性; Cantor空间;

相似文献

中文文献
外文文献
专利

1. NMG逻辑系统有效集的研究 [J] . 任芳 ,鲁来凤 . 西北大学学报（自然科学版） . 2011,第005期
2. 一种结合紧致性与分离性的模糊联合聚类算法 [J] . 刘永利 ,段天毅 ,杨立身 . 河南理工大学学报（自然科学版） . 2017,第005期
3. 希尔伯特空间维数与紧致性可分性测度的关系 [J] . 吴亚敏 . 太原师范学院学报（自然科学版） . 2014,第002期
4. 半拓扑空间的S-分离性与S-紧致性 [J] . 俸进 ,赵浩 . 广东技术师范学院学报(自然科学版) . 2013,第003期
5. 失效区域紧致性对适应性随机测试的性能影响 [J] . 陈宗岳 ,郭斐菁 ,孙昌爱 . 软件学报 . 2006,第012期
6. 谈模糊逻辑系统与神经网络方法的互补性和结合性 [C] . 李洪青 . 第三届中国人工智能联合学术会议 . 1994
7. 基于子基的覆盖拓扑空间的可数性与序列紧致性 [A] . 黄宜纯 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号