%0 Journal Article
%T 经典逻辑度量空间中的模2次范整线性空间结构
%A 胡明娣
%A 王国俊
%J 电子学报
%P 899-905
%D 2011
%X 将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.
%K 逻辑度量空间
%K 平移群
%K 次范整线性空间
%K 真度
%K 有限域F(2)上的线性赋范空间
%U http://www.ejournal.org.cn/CN/abstract/abstract2865.shtml