论文研究 基于零级泛与运算的泛逻辑中的广义重言式理论.pdf

本文对泛逻辑的广义重言式理论进行研究。给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有：当c 取[0.75, 1]时，关于I 而言，F(S)中只有3种不同的广义重言式，即，可达0-重言式、0 -重言式和重言式；当h=0时，关于I 而言，F(S)中存在0、1可达重言式，当 c取 (0,1)，不存在 c-重言式、 c -重言式和可达 c-重言式；通过h=0.5时的广义重言式对 h 取(0, 0.75) 时的广义重言式进行了刻画。