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

论文简介

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

论文截图

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。