GUAN Xiao-hong, SHE Yan-hong, WANG Guo-jun
(College of Mathematics and Information Science, Shaanxi Normal University, Xi′an 710062, Shaanxi, China)
Abstract:
Based on a new class of t-norms a and corresponding resituated implication operators Ha with a parameter a in ［0,1］, 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(0
KeyWords:
many-valued logic system； tautology； generalized semantic MP rule; generalized semantic HS rule； partition
