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

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

作　　者：李顺琴[1] 惠小静[1] 

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《计算机工程与应用》2015年第19期53-55,113,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(No.11471007);陕西省自然科学基金(No.2014JM1020);陕西省科技计划社发攻关项目(No.2014ks15-03-07);延安大学自然科学专项基金(No.YDQ2014-45)

摘　　要：将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集F(S)的一个分划。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 F（S） have been given in order dense sub-algebras of the Gainse-Rescher logic system by utilizing the concepts of accessible generalized tautology.

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

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