计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (19): 53-55.

• 理论研究、研发设计 • 上一篇    下一篇

Gainse-Rescher系统基于子代数的广义重言式

李顺琴,惠小静   

  1. 延安大学 数学与计算机科学学院,陕西 延安 716000
  • 出版日期:2015-09-30 发布日期:2015-10-13

Theory of generalized tautology based on subalgebras of Gainse-Rescher system

LI Shunqin, HUI Xiaojing   

  1. College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China
  • Online:2015-09-30 Published:2015-10-13

摘要: 将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S)]的一个分划。

关键词: Gainse-Rescher逻辑系统, 广义重言式, 子代数, 分划

Abstract: The theory of generalized tautology in Gainse-Rescher logic system is extended and theory of generalized tautology in order dense sub-algebras of the Gainse-Rescher logic system is considered in this paper. Partitions of [FS] have been given in order dense sub-algebras of the Gainse-Rescher logic system by utilizing the concepts of accessible generalized tautology.

Key words: Gainse-Rescher logic system, generalized tautology, subalgebra, partition