Lukasiewicz n值命题逻辑中命题的真度理论

发布时间：2022-02-25 04:52

　　利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。 

【文章来源】：数学学报. 2004,(04)北大核心

【文章页数】：12 页

【文章目录】：
1 引言及主要结果
2公式的真度
3 公式间的相似度与伪距离
4 结束语


【参考文献】：
期刊论文
[1]多值逻辑系统Ln中公式相对于有限理论Γ的Camberra-真度理论[J]. 于鸿丽,吴洪博.  模糊系统与数学. 2021(05)
[2]增加两类算子的Goguen n值命题逻辑系统的t真度及性质[J]. 南宁,惠小静,金明慧.  模糊系统与数学. 2021(02)
[3]n值乘积命题逻辑系统的真度研究[J]. 南宁,金明慧,惠小静.  延安大学学报(自然科学版). 2021(01)
[4]公式真度的Hamming距离表示形式与分解定理[J]. 于鹏,赵彬.  软件学报. 2018(10)
[5]概率计量逻辑研究进展简述[J]. 周红军,兰淑敏,马琴.  模糊系统与数学. 2017(01)
[6]乘积逻辑系统Π∞中命题的条件随机真度[J]. 隋云云.  模糊系统与数学. 2016(04)
[7]逻辑系统Ln*中一类特殊公式的ΣΓ-真度[J]. 马巧云.  计算机工程与应用. 2016(11)
[8]命题逻辑系统R0L3n+1中公式的Γ-真度及性质[J]. 吴洪博,周建仁.  计算机学报. 2015(08)
[9]一种度量结构在四种逻辑代数上的共性[J]. 吴洪博,谢晶晶.  模糊系统与数学. 2014(02)
[10]Lukasiewicz命题逻辑系统中真度的等价定义及相关性质[J]. 周建仁,吴洪博.  工程数学学报. 2013(04)

博士论文
[1]一阶逻辑系统的计量化研究[D]. 秦晓燕.西南交通大学 2015
[2]逻辑代数系统的粗糙性与拓扑性质研究[D]. 罗清君.陕西师范大学 2014
[3]模态逻辑的计量化研究及其在模型检验中的应用[D]. 时慧娴.陕西师范大学 2013
[4]逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D]. 王庆平.陕西师范大学 2012
[5]赋值代数分裂算法与隐性半环赋值研究[D]. 韩邦合.陕西师范大学 2011
[6]模糊推理方法及知识推理的计量化研究[D]. 马丽娜.陕西师范大学 2011
[7]逻辑度量空间的内蕴结构的研究[D]. 胡明娣.陕西师范大学 2011
[8]计量逻辑学及其随机化研究[D]. 惠小静.陕西师范大学 2008

硕士论文
[1]n值（?）ukasiewicz命题逻辑系统的真度研究[D]. 南宁.延安大学 2021
[2]Goguen公理化扩张系统的真度理论研究[D]. 高晓莉.延安大学 2017
[3]两种命题逻辑系统中的真度研究[D]. 贺锦瑞.延安大学 2016
[4]n值S-MTL系统中公式的矛盾度理论及理论的平均真度[D]. 李小兵.兰州理工大学 2014
[5]n值SMTL系统中命题的∑-（[α，β]-真度）理论[D]. 李海亚.兰州理工大学 2012
[6]Ln系统和Ln*系统中的真度理论[D]. 谢晶晶.陕西师范大学 2012
[7]粗糙逻辑及其计量化研究[D]. 刘欢.西安工程大学 2012
[8]公式真度的推广及L*系统单原子生成真值函数的特征[D]. 陈熙.扬州大学 2011
[9]几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D]. 范欣.陕西师范大学 2011
[10]命题逻辑系统中理论的真度概念及其应用[D]. 高香妮.陕西师范大学 2010



本文编号：3643778