Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析  

Truth Degree Analysis of Lukasiewicz Logic Axiom in Gdel Logic System and R0 Logic system

作　　者：屠桂晶[1] 张兴芳[1] 李志允[1] 

机构地区：[1]聊城大学数学科学学院,山东聊城252059

出　　处：《聊城大学学报（自然科学版）》2010年第1期1-3,共3页Journal of Liaocheng University:Natural Science Edition

基　　金：国家自然科学基金资助项目(60875034)

摘　　要：对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些公理在Gdel,以及R0系统中不是公理,但其真度皆大于0.5.Discusing the truth degree of Lukasiewicz logic axiom in Gdel logic system and R0 logic system,some important results are gained as follows：some axioms in Lukasiewicz system are not axiom in Gdel logic system （R0 logic system） ,but the truth degrees of all axioms in Lukasiewicz system （R0 logic system） are bigger than 0.5.

关 键 词：公理 Gdel系统 Lukasiewicz系统 R0系统 真度 

分 类 号：O141[理学—数学]