| 逻辑系统NMG 的满足性和紧致性 |
| |
| 引用本文： | 周红军,王国俊.逻辑系统NMG 的满足性和紧致性[J].软件学报,2009,20(3):515-523. |
| |
| 作者姓名： | 周红军 王国俊 |
| |
| 作者单位： | 1. 陕西师范大学,数学与信息科学学院,陕西,西安,710062
2. 陕西师范大学,数学与信息科学学院,陕西,西安,710062;西安交通大学,基础科学研究中心,陕西,西安,710049 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.10771129 (国家自然科学基金); the SuperiorDissertation Foundation of Shaanxi Normal University of China under Grant No.S2006YB06 (陕西师范大学优秀博士学位论文基金) |
| |
| 摘 要： | 紧致性是模糊逻辑的一个重要性质.现已经证明?ukasiewicz 命题逻辑、G?del 命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG 中的极大相容理论和证明NMG 的满足性,进而证明了NMG也是紧的.
|
| 关 键 词： | 模糊逻辑 逻辑系统NMG 极大相容理论 满足性 紧致性 Cantor空间 |
| 收稿时间： | 2007/8/29 0:00:00 |
| 修稿时间： | 5/5/2008 12:00:00 AM |
Satisfiability and Compactness of NMG-Logic System |
| |
| ZHOU Hong-Jun and WANG Guo-Jun.Satisfiability and Compactness of NMG-Logic System[J].Journal of Software,2009,20(3):515-523. |
| |
| Authors: | ZHOU Hong-Jun and WANG Guo-Jun |
| |
| Abstract: | Compactness is an important property of fuzzy logic systems. It was proved that ?ukasiewicz
propositional logic, G?del 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. |
| |
| Keywords: | fuzzy logic logic system NMG maximally consistent theory satisifiability compactness Cantor
space |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
