n元经典逻辑度量空间中的平移变换

摘要：

利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换.得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算；得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论.证明了平移变换之集构成一个群；在经典逻辑度量空间中以公式类中公式的真度为范数,进一步证明了(Fn(S),ρ)关于该范数可以构成次范整线性空间.

关键词：n元经典逻辑度量空间、平移变换、次范整线性空间

所属期刊栏目：49

分类号：O141(数理逻辑、数学基础)

资助基金：西安市科技计划项目CXY1134WL10

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

页数：共4页

页码：59-61,117