| Ln命题演算中的一种新程度化方法 |
| |
| 引用本文： | 张红杰,吴洪博. Ln命题演算中的一种新程度化方法[J]. 纺织高校基础科学学报, 2007, 20(3): 217-222 |
| |
| 作者姓名： | 张红杰 吴洪博 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 摘 要： | 将Lukasiewiczn值逻辑系统Ln中的矛盾式概念程度化,引入了矛盾度的概念,并且讨论了公式的矛盾度的若干重要性质,进而用矛盾度定义了公式之间的差异度函数ρ',证明了ρ'是一个伪度量,从而在F(S)上建立了逻辑度量空间(F(S),ρ').
|
| 关 键 词： | 矛盾度 差异度 伪度量 逻辑度量空间 |
| 文章编号： | 1006-8341（2007）03-0217-06 |
| 收稿时间： | 2007-01-15 |
A new graded method of propositional logic Ln |
| |
| ZHANG Hong-jie,WU Hong-bo. A new graded method of propositional logic Ln[J]. Basic Sciences Journal of Textile Universities, 2007, 20(3): 217-222 |
| |
| Authors: | ZHANG Hong-jie WU Hong-bo |
| |
| Abstract: | |
| |
| Keywords: | controdiction degree degree of variation pseudo-metric logic metric space |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
