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

【文件属性】：

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

文件大小：430KB

文件格式：PDF

更新时间：2022-09-27 12:30:06

论文研究

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