Generalized semantic MP rules and generalized semantic HS rules of the system H_a
Guojun Wang · Journal of Shaanxi Normal University · 2007
Based on a new class of t-norms a and corresponding resituated implication operators Ha with a parameter a in ,the many-valued system H12 has been studied.In the logic system H12,a new partition of F(S) can be obtained by utilizing the concept of generalized tautologies,moreover,a variety of generalized semantic MP rules and generalized semantic HS rules are obtained in H12.At last,some results in H12 are generalized to the systems Ha(0a1).