Gdel逻辑系统中公式真度判断方法

The Method to Judge Truth Degree of Formula in Gdel Logic

下载PDF

导出

摘要通过给出Gdel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法. In this paper,a common method to judge truth degree of formulas with fewer atoms by the concept of pseudo-truth function was given in Godel logic system.

作者张凤姣张兴芳

机构地区聊城大学数学科学学院

出处《聊城大学学报（自然科学版）》 2011年第1期39-42,46,共5页 Journal of Liaocheng University:Natural Science Edition

基金国家自然科学基金资助项目(60875034) 聊城大学基金项目(X081001)

关键词 Gdel逻辑系统逻辑公式真值函数伪真值函数真度 Godel logic system, logical formula, truth function, pseudo-truth function, truth degree

分类号 O142 [理学—基础数学]

引文网络
相关文献

参考文献7

1张安英,张兴芳,高芹.Gdel系统中由一个或两个原子生成的公式的真值函数的特征[J].模糊系统与数学,2007,21(3):54-59. 被引量：5
2李成允,张兴芳.Gdel逻辑系统中的函数决定公式问题[J].系统科学与数学,2010,30(2):283-288. 被引量：7
3屠桂晶,张兴芳,李志允.Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析[J].聊城大学学报（自然科学版）,2010,23(1):1-3. 被引量：1
4张兴芳,孟广武.一阶模糊谓词逻辑公式的解释模型真度理论及其应用[J].系统科学与数学,2008,28(5):588-593. 被引量：10
5张兴芳.逻辑系统中理论的下真度与相容度(Ⅰ)[J].模糊系统与数学,2007,21(6):24-30. 被引量：7
6张兴芳,张安英,韩红霞.模糊谓词逻辑中基于有限解释的公式的条件α-真度理论[J].模糊系统与数学,2008,22(2):18-23. 被引量：6
7张兴芳,王庆平.命题模糊逻辑系统Π和Gd中理论的相容度与下真度的计算公式(Ⅱ)[J].模糊系统与数学,2008,22(1):1-6. 被引量：5

二级参考文献34

1任芳.L^＊系统中由单个原子生成的公式的真值函数的特征[J].工程数学学报,2005,22(3):563-566. 被引量：12
2张兴芳,孟广武.一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用[J].计算机科学,2005,32(10):1-5. 被引量：22
3张兴芳,王国俊,孟广武.一阶模糊谓词逻辑公式的区间解释真度理论[J].模糊系统与数学,2006,20(2):8-12. 被引量：17
4张兴芳,孟广武,赵峰,张安英.{I_(m)}(α-逻辑有效公式)的理论及其应用[J].工程数学学报,2007,24(1):179-182. 被引量：6
5张兴芳,孟广武,张安英.蕴涵算子族及其应用[J].计算机学报,2007,30(3):448-453. 被引量：44
6张安英,张兴芳,高芹.Gdel系统中由一个或两个原子生成的公式的真值函数的特征[J].模糊系统与数学,2007,21(3):54-59. 被引量：5
7Hajek p.Metamathematics of Fuzzy Logic. London: Kluwer Academic Publishers, 1998, 89-120.
8罗铸楷,胡谋,陈延槐.多值逻辑的理论与应用[M].北京:科学出版社,1999.
9Petr Hajek. Mathematics of Fuzzy Logic. Warsaw, Kluwer Academic Publishers, 1998.
10Petr Hajek.Metamathematics of Fuzzy Logic[M].Kluwer Academic Publishers,1998.

共引文献23

1高芹,张兴芳,王庆平.命题模糊逻辑系统Gd中公式的理论可证度[J].山东大学学报（理学版）,2007,42(10):90-95. 被引量：3
2阚婷,张兴芳,王作真.基于蕴涵算子族NM_p的α-三算法及约束度理论[J].燕山大学学报,2008,32(6):544-547. 被引量：1
3李友雨,张兴芳,李成允.Gdel中单个或两个原子生成公式的真度分布[J].计算机工程与应用,2009,45(14):56-57.
4孟广武,张兴芳.命题模糊逻辑系统中有限理论的弱相容度[J].计算机工程与应用,2009,45(18):51-53.
5王国俊,高香妮.命题逻辑系统中理论的真度概念及其应用[J].陕西师范大学学报（自然科学版）,2009,37(5):1-6. 被引量：11
6李成允,张兴芳.Gdel逻辑系统中的函数决定公式问题[J].系统科学与数学,2010,30(2):283-288. 被引量：7
7袁彦莉,李成允,张兴芳.L＊系统中的函数决定公式问题[J].计算机工程与应用,2010,46(15):31-33.
8屠桂晶,张兴芳,李志允.Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析[J].聊城大学学报（自然科学版）,2010,23(1):1-3. 被引量：1
9高香妮,折延宏,王国俊.逻辑系统G_n中理论的真度概念及其应用[J].计算机工程与应用,2010,46(24):30-33. 被引量：2
10齐玉霞,周相泉,刘庆松.一阶系统KL中一组形式相近公式之间的关系[J].山东师范大学学报（自然科学版）,2010,25(3):29-31.

1杨洁.Gdel逻辑系统中模糊逻辑方程τ(X→p)=α的解的性质[J].模糊系统与数学,2012,26(4):25-30.
2陈宗升,于西昌,李成允.逻辑系统Gdel,Luk,L*中命题真度值的分布[J].计算机工程与应用,2009,45(13):42-44.
3李葆文.思维网探索[J].模糊系统与数学,1995,9(3):10-19. 被引量：1
4李成允,张兴芳.L＊逻辑系统中的函数决定公式问题[J].山东大学学报（理学版）,2009,44(12):91-96. 被引量：3
5任芳,王国俊.命题逻辑系统L~*的有效集[J].模糊系统与数学,2006,20(2):13-17. 被引量：2
6张安英,张兴芳,高芹.Gdel系统中由一个或两个原子生成的公式的真值函数的特征[J].模糊系统与数学,2007,21(3):54-59. 被引量：5
7吕建平,赵树芗.一种非真值函数性模糊逻辑[J].微电子学与计算机,2004,21(10):90-92. 被引量：2
8王金亮,许艳丽,赵俊雅,张月岭.命题逻辑主析取(合取)范式的代数化求解[J].聊城大学学报（自然科学版）,2010,23(2):100-102.
9任芳.L^＊系统中由单个原子生成的公式的真值函数的特征[J].工程数学学报,2005,22(3):563-566. 被引量：12
10邓燕.对数理逻辑中最小联结词组的扩展讨论[J].嘉兴高等专科学校学报,1999,12(4):47-51. 被引量：5

聊城大学学报（自然科学版）

2011年第1期

浏览历史

内容加载中请稍等...

Gdel逻辑系统中公式真度判断方法

参考文献7

二级参考文献34

共引文献23

相关作者

相关机构

相关主题

浏览历史