N-valued logic system L_n based on the derived operator of Lukasiewicz implication operator
Ping Jing-shu · 2010
This paper discussed one of the residuated class implication operators n—valued logic system (n≥3)based on the derived operator of Lukasiewicz implication operator.Firstly,we gave the value table on logic system L_3.It is proved that the logic system L_3 is a generalization of the classical logic system C_2, Secondly,we discussed the relation between the tautologies in the logic system L_3 and IPC(Intuitionistic propositional calends)axioms,the quasi—tautologies in the logic system L_3 and the classical logic system C_2. At last,the sub—algebra in the logic system L_n is investigated and compared the relation of the tautologies in some different logic systems L_n.