摘要
将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.
出处
《计算机工程与应用》
CSCD
北大核心
2015年第19期53-55,113,共4页
Computer Engineering and Applications
基金
国家自然科学基金(No.11471007)
陕西省自然科学基金(No.2014JM1020)
陕西省科技计划社发攻关项目(No.2014ks15-03-07)
延安大学自然科学专项基金(No.YDQ2014-45)
