位置：成果数据库 > 期刊 > 期刊详情页
逻辑系统NMG的满足性和紧致性
  • ISSN号：1000-9825
  • 期刊名称：《软件学报》
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]陕西师范大学数学与信息科学学院,陕西西安710062, [2]西安交通大学基础科学研究中心,陕西西安710049
  • 相关基金：Supported by the National Natural Science Foundation of China under Grant No.10771129 （国家自然科学基金）; the Superior Dissertation Foundation of Shaanxi Normal University o f China under Grant No.S2006YB06 （ 陕西师范大学优秀博士学位论文基金）
作者： 周红军[1], 王国俊[1,2]
关键词： 模糊逻辑, 逻辑系统NMG, 极大相容理论, 满足性, 紧致性, Cantor空间, fuzzy logic, logic system NMG, maximally consistent theory, satisifiability, compactness, Cantor space
中文摘要：

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

英文摘要：

Compactness is an important property of fuzzy logic systems. It was proved that Lukasiewicz propositional logic, Godel propositional logic, Product propositional logic and the formal deductive system L^＊ are all compact. The aim of the present paper is to prove the compactness of the fuzzy logic system NMG by characterizing maximally consistent theories and by proving the satisfiability of consistent theories over NMG.

同期刊论文项目
知识推理的计量化与随机化研究
期刊论文 62
同项目期刊论文
基于有限迁移系统的线性时态逻辑的计量化方法
迁移系统关于一类时态逻辑公式的满足度
BL代数中极大滤子的拓扑性质
经典命题逻辑中的一致结构与一致拓扑
计量逻辑学的基本思想和研究综述
经典命题逻辑中的近似推理与强近似推理
R0代数上的一致拓扑空间
计量逻辑学中的线性逻辑公式
剩余格中的Fuzzy(P)滤子的结构
计量逻辑学中的雪崩逻辑公式
匕ukasiewicz三值命题逻辑中公式的可靠真度理论
对称逻辑公式在L3^＊逻辑度量空间中的分布
具定号系数多滞量AFDE的振动性
L3^＊系统中逻辑度量空间的拓扑性质
模糊模态逻辑系统MLuk中的可达广义重言式
Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布
蕴涵格的正规MP滤子与素滤子
关于K的三种模糊模态逻辑
一类AFDE的振动性及其应用
网页源码抓取方法的设计与实现
逻辑方程解的性质
用模糊Galois联络对L-模糊粗糙集进行公理化刻画
D-逻辑度量空间中的相容理论
系统L^＊中极大相容理论的结构刻画和紧致性定理
基于ASP．NET的数据迁移方法
逻辑系统MTL_▽及其完备性
广义三角模和广义剩余蕴涵之间的对应关系
命题逻辑中广义MP问题的合理解
逻辑系统Gn中理论的真度概念及其应用
逻辑伪度量空间中的孤立点
命题逻辑系统Ln中公式集上的真度函数
n值标准逻辑系统中的随机化研究
广义MP问题的三I真度解
模糊推理三Ⅰ约束算法的一般表示
经典推理模式的随机化研究及其应用（Ⅱ）
关于随机真度的若干注记
标准序列逻辑系统S3中公式的概率真度理论
三值Godel命题逻辑系统的随机化
一种非均匀概率空间下逻辑系统G3中命题的真度理论
关于三值R0命题逻辑系统的若干注记
模糊推理三Ⅰ算法的还原性
n值逻辑系统L_n~*中广义重言式的计量化研究
经典逻辑度量空间上的反射变换
逻辑系统Ln中的真度、发散度与相容度的分布
三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
概率逻辑学基本定理在多值命题逻辑系统中的推广
具有振动系数AFDE的振动性
正则蕴涵算子所对应的逻辑伪度量空间
命题逻辑系统中理论的真度概念及其应用
三值R0命题逻辑系统中理论的随机发散度
基于支持度理论的广义MP问题的形式化解
模态R代数与模态滤子的若干性质
Tableau-based算法的改进与有限步终止定理
模糊模态逻辑中的永真式与准永真式
三值R0命题逻辑系统的随机化
基于VBS的IP地址自动配置方法
广义MP问题的α-三Ⅰ解的形式化理论
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609