文件名称：论文研究-基于零级泛与运算的泛逻辑中的广义重言式理论.pdf
文件大小：613KB
文件格式：PDF
更新时间：2022-09-27 11:49:35
论文研究
本文对泛逻辑的广义重言式理论进行研究。给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有：当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) 时的广义重言式进行了刻画。