经典逻辑度量空间中的模2次范整线性空间结构

发布时间：2017-08-15 05:03

  本文关键词：经典逻辑度量空间中的模2次范整线性空间结构

  更多相关文章： 逻辑度量空间 平移群 次范整线性空间 真度 有限域F()上的线性赋范空间

【摘要】：将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.
【作者单位】： 陕西师范大学数学研究所;安康学院数数学系;
【关键词】： 逻辑度量空间 平移群 次范整线性空间 真度 有限域F()上的线性赋范空间
【基金】：国家自然科学基金(No.10771129) 陕西师范大学研究生培养创新基金(No.2009CXB006)
【分类号】：O141.1
【正文快照】： 1引言为评判一般逻辑公式的真假,美国Stanford大学的Adam教授、Nilsson教授以及IBM研究决策中心的Fagin教授和Halpern教授等把概率的思想引入到命题逻辑系统中提出了公式的概率概念,本文第二作者则利用均匀概率测度空间的无穷可数乘积与(0,1)中的随机数列先后提出了公式的真

【参考文献】

中国期刊全文数据库 前2条

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

【共引文献】

中国期刊全文数据库 前10条

1 王国俊;三角型模糊数空间的均匀性[J];纯粹数学与应用数学;1997年02期

2 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

3 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

4 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

5 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

6 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

7 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

8 李骏,兰倩,夏亚峰;标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布[J];甘肃工业大学学报;2003年04期

9 杨万必;李永亮;秦宣华;;关于Z-空间的性质[J];湖北民族学院学报(自然科学版);2005年04期

10 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

中国重要会议论文全文数据库 前4条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

2 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

3 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

4 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

中国博士学位论文全文数据库 前2条

1 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

2 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

中国硕士学位论文全文数据库 前10条

1 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

2 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

3 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

4 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

5 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

6 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

7 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年

8 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

9 于鹏;F（S）中的近似推理与三I算法的连续性[D];陕西师范大学;2007年

10 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年

【二级参考文献】

中国期刊全文数据库 前10条

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

3 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

4 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

5 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

6 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

7 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

8 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑;2002年02期

9 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑;2003年04期

10 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑;2005年06期

【相似文献】

中国期刊全文数据库 前10条

1 邹都;李德宜;谢凤繁;;一些新的运动公式及其应用[J];数学物理学报;2011年03期

2 王廷明;;有限理论结论基于根的余式和结论集的表示[J];青岛大学学报(自然科学版);2011年02期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国博士学位论文全文数据库 前3条

1 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

2 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

3 刘强;单调斜积半流的投影收敛性和生物节律研究[D];中国科学技术大学;2010年

中国硕士学位论文全文数据库 前10条

1 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

2 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

3 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

4 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

5 张红杰;BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论[D];陕西师范大学;2008年

6 张乐;MTL-代数上的度量化研究[D];浙江理工大学;2012年

7 邵红梅;有限环Z_（pq）上交错矩阵的结合方案[D];河北师范大学;2004年

8 李辉;两种特殊线性模型的参数估计[D];湘潭大学;2004年

9 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

10 李海亚;n值SMTL系统中命题的∑-（[α，β]-真度）理论[D];兰州理工大学;2012年

，

本文编号：676343