计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (29): 56-57.DOI: 10.3778/j.issn.1002-8331.2010.29.016

• 研究、探讨 • 上一篇    下一篇

Gödel系统中一类子代数上的广义重言式理论

魏海新   

  1. 桂林航天工业高等专科学校 计算机系,广西 桂林 541004
  • 收稿日期:2009-05-05 修回日期:2009-06-20 出版日期:2010-10-11 发布日期:2010-10-11
  • 通讯作者: 魏海新

Theory of generalized tautology in class of subalgebras of Gödel system

WEI Hai-xin   

  1. Guilin College of Aerospace Technology,Guilin,Guangxi 541004,China
  • Received:2009-05-05 Revised:2009-06-20 Online:2010-10-11 Published:2010-10-11
  • Contact: WEI Hai-xin

摘要: 将Gödel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于G同余的一个分划。

Abstract: The theory of generalized tautology in Gödel logical system is extended and theory of generalized tautology in a class of infinite subalgebras of the Gödel logical system is considered.Congruence partitions about G on F(S)have been given in standard subalgebras E0 of logical system G by utilizing the concepts of accessible generalized tautology.

中图分类号: