计算机工程与应用
計算機工程與應用
계산궤공정여응용
Computer Engineering and Applications
2015年
19期
53-55,113
,共4页
Gainse-Rescher逻辑系统%广义重言式%子代数%分划
Gainse-Rescher邏輯繫統%廣義重言式%子代數%分劃
Gainse-Rescher라집계통%엄의중언식%자대수%분화
Gainse-Rescher logic system%generalized tautology%subalgebra%partition
将Gainse-Rescher逻辑系统中的广义重言式理论进行推广，讨论其序稠密子代数中的广义重言式理论，并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集F(S)的一个分划。
將Gainse-Rescher邏輯繫統中的廣義重言式理論進行推廣，討論其序稠密子代數中的廣義重言式理論，併利用可達廣義重言式概唸在Gainse-Rescher邏輯繫統的序稠密子代數中給齣公式集F(S)的一箇分劃。
장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.
