计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (36): 58-60.DOI: 10.3778/j.issn.1002-8331.2008.36.016

• 理论研究 • 上一篇    下一篇

修正的Gödel逻辑系统中子代数的广义重言式理论

李顺琴1,王国俊2   

  1. 1.延安大学 数学与计算机科学学院,陕西 延安 716000
    2.陕西师范大学 数学研究所,西安 710062
  • 收稿日期:2008-06-24 修回日期:2008-09-25 出版日期:2008-12-21 发布日期:2008-12-21
  • 通讯作者: 李顺琴

Theory of generalized tautology in subalgebras of revised Gödel logical system

LI Shun-qin1,WANG Guo-jun2   

  1. 1.College of Mathematics and Computer Science,Yan’an University,Yan’an,Shaanxi 716000,China
    2.Institute of Mathematics,Shaanxi Normal University,Xi’an 710062,China
  • Received:2008-06-24 Revised:2008-09-25 Online:2008-12-21 Published:2008-12-21
  • Contact: LI Shun-qin

摘要: 将修正的Gödel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出FS)关于┐同余的一个分划.

关键词: 修正的Gö, del逻辑系统, 广义重言式, α-矛盾式, 分划

Abstract: The theory of generalized tautology in revised Gödel logical system is extended and theory of generalized tautology in order dense sub-algebras of the revised Gödel logical system is considered in this paper.Congruence partitions about ┐ on FS) have been given in order dense sub-algebras of logic system G by utilizing the concepts of accessible generalized tautology and α-contradiction.

Key words: revised Gö, del logical system, generalized tautology, α-contradiction, partition