n元经典逻辑度量空间中的平移变换-计算机工程与应用.PDFVIP

Computer Engineering and Applications 计算机工程与应用 2013 ，49 （6 ） 59 n 元经典逻辑度量空间中的平移变换 马巧云 MA Qiaoyun 西安文理学院 数学与计算机工程学院，西安 710065 College of Mathematics and Computer Engineering, Xi ’an Science and Article University, Xi ’an 710065, China MA Qiaoyun. Transformation translation on n-ary classical logic metric space. Computer Engineering and Applications, 2013, 49 （6 ）：59-61. Abstract ：The transformation translation on n-ary classical logic metric space is formed by modular 2 addition and vector repre- sentation of formula. Some simple properties of transformation translation are obtained. It is proved that not operation is kept and intersection operation, and operation, if then operation are not kept through transform translation. The divergence degrees and consistency degrees of Γ(ΓÌF (S)) are not changed through transform translation. It is also proved that these transformation n translation constitute a group, and the space (F (S)ρ) thereby makes a sub-normed Z-linear space when the truth degree of for- n mulas in classical logic metric space is defined normed. Key words ：n-ary classical logic metric space; transformation translation; sub-normed Z-linear space 摘 要：利用模2 的加法运算和逻辑公式的向量表示构造了n 元经典逻辑度量空间中的平移变换。得到了平移变换的一 些简单性质，证明了平移变换保持非运算，但不保持交、并、蕴涵运算；得到了逻辑理论的发散度、有限理论的相容度在平 移变换之下不变的结论。证明了平移变换之集构成一个群；在经典逻辑度量空间中以公式类中公式的真度为范数，进一 步证明了(F (S)ρ) 关于该范数可以构成次范整线性空间。 n 关键词：n 元经典逻辑度量空间；平移变换；次范整线性空间 文献标志码：A 中图分类号：O 141 doi ：10.3778/j.issn. 1002-8331.1209-0125 F (S) F (S) S 在文献[1] 中，作者给出了经典逻辑系统L 中公式的真 。 中的元叫合式公式，简称公式。 中的元叫 度、公式间的相似度、公式间的伪距离和公式间的距离等 原子公式或原子命题。 概念。在文献[2] 中，作者提出了次范整线性空间的理论。