● 摘要
系统Ha是一个带有参数的系统，将参数a赋予不同的值，将会得到不同的多值逻辑系统,并且系统R0恰是系统Ha在a取1时的特例.因此,对系统Ha的研究将进一步丰富现有多值逻辑系统研究的内容和成果,也可将系统R0的相关结论、性质统一在其之下,为进一步实际应用提供帮助.全文共四章,主要内容如下:
第一章,介绍了几种典型的多值逻辑系统,主要有Godel逻辑系统,Kleene逻辑系统,修正的Kleene逻辑系统,多值逻辑系统Ha.
第二章,讨论了多值逻辑系统Ha中的子代数及重言式分类问题.首先研究了多值逻辑系统H½中的子代数理论，建立了F(S)中重言式的分类定理.在此基础上，将相关结论推广到系统Ha中,并将系统W中重言式的分类定理统一在其之下.
第三章,讨论了多值逻辑系统Ha中F(s)的分划及一种升级算法.仍然采用由特殊到一般的思想,首先利用可达广义重言式的概念给出了系统中H½的一个关于–同余的分划及一种升级算法，再将相关结论推广到系统Ha中，给出了系统Ha的一个特例——系统W中F(s)的一个关于–同余的分划及一种升级算法。
第四章,将修正的Kleene逻辑系统中语义MP规则推广后应用于逻辑系统Ha中，讨论了逻辑系统H½中的广义语义MP规则，并将其推广到系统Ha中.