论文部分内容阅读
在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和（准）对称逻辑公式，探讨了反射变换φ的性质，证明了妒保持逻辑等价关系和（准）对称逻辑公式，且为同态变换．研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ＊的性质．证明了φ＊是自同构的等距变换，进而讨论了φ＊的不动点的性态，得到了4类特殊的不动点形式［A］∧φ＊（［A］）∨φ＊（［A］），［A］十φ＊（［A］）和［A］？φ＊（［A］）。