| Lukasiewicz 命题逻辑系统一种新的理论的相容度 |
| |
| 引用本文： | 张建成,王国俊. Lukasiewicz 命题逻辑系统一种新的理论的相容度[J]. 数学进展, 2007, 36(6): 761-768 |
| |
| 作者姓名： | 张建成 王国俊 |
| |
| 作者单位： | 1. 泉州师范学院理工学院,泉州,福建,362000
2. 陕西师范大学数学研究所,西安,陕西,710062 |
| |
| 基金项目： | 国家自然科学基金;福建省自然科学基金 |
| |
| 摘 要： | 根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.
|
| 关 键 词： | 理论 演绎定理 真度 发散度 极指标 相容度 |
| 文章编号： | 1000-0917（2007）06-0761-08 |
| 收稿时间： | 2005-01-05 |
| 修稿时间： | 2007-04-19 |
Consistency Degrees of Theories in Lukasiewicz Propositional Fuzzy Logic |
| |
| ZHANG Jiancheng,WANG Guojun. Consistency Degrees of Theories in Lukasiewicz Propositional Fuzzy Logic[J]. Advances in Mathematics(China), 2007, 36(6): 761-768 |
| |
| Authors: | ZHANG Jiancheng WANG Guojun |
| |
| Abstract: | By means of theory of truth degrees of formulas, according to deduction theorems and completeness theorems, the new concepts of porlar index and consistency degrees for general theories in Lukasiewicz propositional fuzzy logic systems are introduced. Moreover, sufficient and necessary conditiions for a theory F to be consistent, inconsistent and fully divergent are obtained. Finally, relation between divergence degrees and consistency degrees is also clarified. |
| |
| Keywords: | theory deduction theorem truth degree divergence degree polar indx consistency degree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
