经典逻辑度量空间上的反射变换

发布时间：2018-02-17 05:23

  本文关键词： 经典逻辑 Lindenbaum代数 逻辑度量空间 反射变换 自同构 不动点 G銉deln值逻辑度量空间　出处：《陕西师范大学学报(自然科学版)》2009年06期 　论文类型：期刊论文

【摘要】：探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不动点性态,得到了不动点的一般形式,即[A]∨φ*([A])或[A]∧φ*([A])(A∈F(S)).最后指出当n2时,对于n值G del逻辑系统,相应的逻辑度量空间不具有上述性质.
[Abstract]:The structure of logical metric space is discussed. It is proved that there exists a reflection transformation 蠁 on the classical logic metric space, and 蠁 keeps the logical equivalence relation unchanged. It is a homomorphic mapping, a reflection transformation 蠁 * is an automorphism transformation on Lindenbaum algebra, and 蠁 * is an isometric transformation. The fixed point behavior of 蠁 * is studied, and the general form of fixed point is obtained. That is [A] 蠄 蠁 ([A]) or [A] A 蠁 n ([A]) A 鈭，

本文编号：1517317