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

• 作者: 马巧云
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: n元经典逻辑度量空间 平移变换 次范整线性空间
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 59-61,117
• 页数: 4页
• 分类号: O141
• 字数: 4152字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1209-0125

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马巧云	西安文理学院数学与计算机工程学院	22	45	4.0	6.0