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