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

摘要：

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

关键词：Lukasiewicz三值逻辑度量空间、反射变换、(准)对称逻辑公式、Lindenbaum代数、不动点

所属期刊栏目：31

分类号：O159(代数、数论、组合理论)

资助基金：国家自然科学基金资助项目10771129

在线出版日期：2011-12-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：50-53