贵州大学学报（自然科学版）
貴州大學學報（自然科學版）
귀주대학학보（자연과학판）
JOURNAL OF GUIZHOU UNIVERSITY(NATURAL SCIENCE)
2015年
2期
6-9
,共4页
Gainse-Rescher逻辑系统%广义重言式%广义矛盾式%子代数%分划
Gainse-Rescher邏輯繫統%廣義重言式%廣義矛盾式%子代數%分劃
Gainse-Rescher라집계통%엄의중언식%엄의모순식%자대수%분화
Gainse-Rescher logic system%generalized tautology%generalized contradiction%subalgebra%partition
本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划.
本文討論Gainse-Rescher邏輯繫統中序稠密子代數的廣義矛盾式,併利用可達廣義矛盾式概唸在Gr的序稠密子代數中給齣公式集F(S)的一箇分劃.
본문토론Gainse-Rescher라집계통중서주밀자대수적엄의모순식,병이용가체엄의모순식개념재Gr적서주밀자대수중급출공식집F(S)적일개분화.
