论文研究-逻辑系统.pdf

【文件属性】：

文件名称：论文研究-逻辑系统.pdf

文件大小：451KB

文件格式：PDF

更新时间：2022-09-26 12:41:17

论文研究

将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中，讨论了Hα逻辑系统中广义重言式理论的语义（[α]-MP）规则，语义（[α ]-MP）规则，使得对Hα系统中的广义语义MP规则有了更进一步的认识。另外，逻辑系统W中的广义语义MP规则也成为一个特例。