| Lukasiewicz三值逻辑度量空间中的反射变换 |
| |
| 引用本文： | 程红梅,王国俊. Lukasiewicz三值逻辑度量空间中的反射变换[J]. 云南师范大学学报(自然科学版), 2011, 31(4): 50-53 |
| |
| 作者姓名： | 程红梅 王国俊 |
| |
| 作者单位： | 陕西师范大学 数学与信息科学学院,陕西西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).
|
| 关 键 词： | Lukasiewicz三值逻辑度量空间 反射变换 (准)对称逻辑公式 Lindenbaum代数 不动点. |
The Properties of Reflective Transformation in 3-valued Lukasiewicz Logic Metric Space |
| |
| CHENG Hong-mei,WANG Guo-jun. The Properties of Reflective Transformation in 3-valued Lukasiewicz Logic Metric Space[J]. Journal of Yunnan Normal University (Natural Sciences Edition), 2011, 31(4): 50-53 |
| |
| Authors: | CHENG Hong-mei WANG Guo-jun |
| |
| Affiliation: | CHENG Hong-mei,WANG Guo-jun(College of Mathematics and Information Sciences,Shaanxi Normal University,Xi'an 710062,China) |
| |
| Abstract: | |
| |
| Keywords: | Lukasiewicz's 3-valued logic metric space reflexive transformation (pseudo-)symmetric logic formula Lindenbaum algebra fixed points |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
