论文部分内容阅读
对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0^+-重言式和重言式;当h=0时,关于Ih=c而言。F(S)中存在0、1.可达重言式。当α∈(0,1)。不存在α-重言式、α^+-重言式和可达α^-重言式;用h=0.5时的广义重言式对h∈(0,0.75)时的广义重言式进行了刻画。