n-valued logic system Gn based on the derived operator of Gdel implication operator
Yongming Li · Basic Sciences Journal of Textile Universities · 2008
One of the residuated class implication operators n-valued logic system(n≥3) based on the derived operator of Gdel implication operator is discussed.Firstly,the value table on logic system G3 is given.It is proven that the logic system G3 is a generalization of the classical logic system C2.Secondly,the relation between the tautologies in the logic system G3 and IPC(Intuitionistic propositional calends)axioms,the quasi-tautologies in the logic system G3 and the classical logic system C2 are discussed.At last,the sub-algebra in the logic system Gn is investigated and the relation of the tautologies in some different logic systems Gn is compared.