舆论摘要：多值论理体例中Ha中的重言式表面

体例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中.