Theory of Generalized Tautology on Lukasiewicz Many valued Logic System
Yang Xiao · Mohu xitong yu shuxue · 2000
A class of special sequence of formulas is introduced,this article proved that every class of arrivable tautology is not empty, so that the class of generalized tautology is difference each other on Lukasiewicz many valued logic system. At the last,discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system.