Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质

发布时间：2018-04-26 16:31

本文选题：Goguen命题逻辑系统 + Γ-k真度　；参考：《软件学报》2017年07期

【摘要】：首先对n值Goguen命题逻辑进行公理化扩张,Goguen_(~,△),记为,Ⅱ_(~,△)利用公式的诱导函数给出公式在k(k任取~或Δ)连接词下相对于局部有限理论Γ-k的Γ-k真度的定义;讨论了Ⅱ_(~,△)中Γ-k真度的MP规则、HS规则等相关性质;最后,在Ⅱ_(~,△)中定义了两公式间的Γ-k相似度与Γ-k伪距离,得到了公式在k连接词下相对于局部有限理论Γ-k的Γ-k相似度与Γ-k伪距离所具有的一些良好性质.
[Abstract]:First, the axiomatic extension of n-valued Goguen propositional logic is given. In this paper, we discuss the MP rules and HS rules of 螕 -k trueness, and define the 螕 -k similarity between the two formulas and the pseudo-distance of 螕 -k. Some good properties of 螕 -k similarity degree and 螕 -k pseudo-distance of the formula under k-connectors are obtained relative to the local finite theory 螕 -k.
【作者单位】：延安大学数学与计算机科学学院;
【基金】：国家自然科学基金(11471007) 陕西省自然科学基金(2014JM1020) 延安大学研究生创新基金资助项目(YCX201612)~~
【分类号】：O141

【参考文献】

相关期刊论文前10条

1 吴洪博;周建仁;;命题逻辑系统R_0L_(3n+1)中公式的Γ-真度及性质[J];计算机学报;2015年08期

2 吴洪博;;Lukasiewicz命题逻辑中公式的Γ-真度理论和极限定理[J];中国科学:信息科学;2014年12期

3 惠小静;;基于真值的SBL_～公理化扩张系统的计量化[J];中国科学:信息科学;2014年07期

4 折延宏;贺晓丽;;粗糙逻辑中公式的Borel型概率粗糙真度[J];软件学报;2014年05期

5 周建仁;吴洪博;;Lukasiewicz命题逻辑系统中真度的等价定义及相关性质[J];工程数学学报;2013年04期

6 惠小静;;模糊逻辑系统中广义有效推理的真度递减定理[J];模糊系统与数学;2013年04期

7 周红军;;■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理[J];软件学报;2012年09期

8 惠小静;;三值R_0命题逻辑系统的随机化[J];应用数学学报;2009年01期

9 惠小静;王国俊;;经典推理模式的随机化研究及其应用(Ⅱ)[J];模糊系统与数学;2008年03期

10 王国俊;刘保翠;;四种命题逻辑中公式的相对Γ-重言度理论[J];工程数学学报;2007年04期

【共引文献】

相关期刊论文前10条

1 朱乃调;惠小静;高晓莉;高姣;;G?del n值命题逻辑系统的真度理论[J];计算机工程与应用;2017年11期

2 吴霞;张家录;;随机模糊环境下的命题逻辑真度理论[J];模式识别与人工智能;2017年04期

3 马巧云;吴洪博;;经典逻辑系统中的随机化再研究[J];计算机科学与探索;2017年08期

4 周红军;兰淑敏;马琴;;概率计量逻辑研究进展简述[J];模糊系统与数学;2017年01期

5 朱乃调;惠小静;高晓莉;高姣;;G?del n值命题逻辑系统中的Δ真度[J];模糊系统与数学;2016年06期

6 朱乃调;惠小静;高晓莉;;Gdel n值命题逻辑系统中命题公式的t真度及近似推理[J];计算机科学;2016年S2期

7 高晓莉;惠小静;朱乃调;;Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质[J];软件学报;2017年07期

8 高晓莉;惠小静;朱乃调;;n值?ukasiewicz逻辑系统中公式的向量表示及其研究[J];计算机科学;2016年S2期

9 李顺琴;王小霞;;n值命题逻辑系统L_n~*中真度的等价定义及性质[J];延安大学学报(自然科学版);2016年03期

10 吴洪博;王伦磊;;函数算术均值极限的黎曼积分形式及其在R_0命题逻辑中的应用[J];电子学报;2016年08期

【二级参考文献】

相关期刊论文前10条

1 时慧娴;王国俊;;多值模态逻辑的计量化方法[J];软件学报;2012年12期

2 时慧娴;王国俊;;基于有限迁移系统的线性时态逻辑的计量化方法[J];模糊系统与数学;2012年05期

3 吴洪博;周建仁;;计量逻辑中真度的均值表示形式及应用[J];电子学报;2012年09期

4 王国俊;;一类一阶逻辑公式中的公理化真度理论及其应用[J];中国科学:信息科学;2012年05期

5 周红军;王国俊;;Borel型概率计量逻辑[J];中国科学:信息科学;2011年11期

6 吴洪博;周建仁;张琼;;(3n+1)值逻辑系统R_0L中公式的真度性质[J];电子学报;2011年10期

7 ;Borel probabilistic and quantitative logic[J];Science China(Information Sciences);2011年09期

8 惠小静;;概率逻辑学基本定理在多值命题逻辑系统中的推广[J];应用数学学报;2011年02期

9 韩邦合;李永明;;计量逻辑学中的近似推理[J];模糊系统与数学;2010年05期

10 吴洪博;张琼;;NML系统的有限强完备性[J];电子学报;2010年06期

【相似文献】

相关期刊论文前10条

1 齐冬冬;;浅谈命题逻辑[J];学理论;2010年31期

2 唐金文;解析命题符号化[J];曲靖师范学院学报;2002年06期

3 李建湘,邓康,汤四平;命题逻辑中的蕴涵置换法[J];数学理论与应用;2003年04期

4 徐凤生;命题逻辑中的集合表示[J];计算机与现代化;2005年05期

5 李刚;李春;;命题逻辑简化功能的应用[J];科技信息(学术研究);2007年04期

6 李立峰;张东晓;;概念格在二值命题逻辑命题集约简中的应用[J];电子学报;2007年08期

7 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[J];模糊系统与数学;2009年03期

8 金樊;;推理有效性的判定方法及其特点比较——以命题逻辑为例[J];长春工程学院学报(社会科学版);2010年02期

9 张胜礼;;中介命题逻辑一种改进的无穷值语义模型[J];兴义民族师范学院学报;2011年01期

10 陈敬华;胡松林;;关于命题逻辑中两个问题的思考[J];湖北师范学院学报(自然科学版);2011年04期