An Improvement On The Lukasiewicz Many-valued Logics
Liang Bia · Supplement To The Journal of Sun Yatsen University · 2000
In this paper, we induce the concept of J-fiinction which given by Rosser and Turquett who made an improvement on the Lukasiewicz many-valued logics . We discuss the difference between the negations which defined by Lukasiewicz and Rosser and Turquett, compare the three-valued logic of the Lukasiewicz axioms which given by Warjberg with the three-valued logic axioms which given by Rosser and Turquett, and show that the axioms which constructed by Rosser and Turquett are favorable for the proof of the completeness of the Lukasiewicz axioms.