系统Hα相关论文
研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种......
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分......