论文研究-对称逻辑度量次范整子空间及其性质.pdf

【文件属性】：

文件名称：论文研究-对称逻辑度量次范整子空间及其性质.pdf

文件大小：561KB

文件格式：PDF

更新时间：2022-09-28 12:12:02

论文研究

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