对偶分子相关论文
该文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP(X)的研究工作,对格蕴涵代数以及格值命题逻辑......
众所周知，代数结构已成功应用于经典与非经典逻辑中。沿袭这种思想，徐扬教授为语言真值格值命题逻辑的代数语义解释找到了一个语言真......
