Subalgebras and generalized tautologies of many-valued logic systems
Pei Dao · Journal of Shaanxi Normal University · 2000
In five important many valued logic systems L n, K n, S n G n and W n , the characteristic and enumeration problems of subalgebras, and generalized tautology theory are discussed. It is proved that the sets of all exact α tautologies in L n, S n , and G n are all non empty , and the relationship between the sets of all quasi tautologies in these systems and the set of all tautologies in the classical prepositional logic system are considered.