Lukasiewicz三值逻辑度量空间中的反射变换

• 作者: 王国俊 程红梅
• 来源期刊: 云南师范大学学报（自然科学版）
• 学科: 数学
• 关键词: Lukasiewicz三值逻辑度量空间 反射变换 (准)对称逻辑公式 Lindenbaum代数 不动点
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 数学
• 页码范围: 50-53
• 分类号: O159
• 字数: 3449字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9793.2011.04.010

摘要

在Lukasiewicz三值逻辑度量空间中定义了反射变换(φ)和(准)对称逻辑公式,探讨了反射变换(φ)的性质,证明了(φ)保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了(φ)在商代数——Lindenbaum代数上诱导的反射变换(φ)*的性质.证明了(φ)*是自同构的等距变换,进而讨论了(φ)*的不动点的性态,得到了4类特殊的不动点形式[A]V(φ)*([A]),[A]∧(φ)*([A]),[A](○+)(φ)* ([A])和[A](○×)(φ)*([A]).

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	程红梅	陕西师范大学数学与信息科学学院	1	0	0.0	0.0