论文研究-Gainse-Rescher系统基于子代数的广义重言式.pdf

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