对称逻辑度量次范整子空间及其性质

• 作者: 刘宏昭 楼志刚 胡明娣
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 对称布尔函数 对称逻辑公式 次范整线性空间 真度 对称逻辑子空间 经典逻辑度量空间
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 40-43
• 页数: 4页
• 分类号: O159
• 字数: 4930字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1112-0131

摘要

在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间.引入了次范整线性子空间的概念.证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘宏昭	西安理工大学机械与精密仪器工程学院	282	3605	27.0	46.0
2	胡明娣	西安邮电大学通信与信息工程学院	13	16	3.0	3.0
3	楼志刚	西安理工大学机械与精密仪器工程学院	5	5	2.0	2.0