Theory of generalized tautology in subalgebras of system H_α
Guojun Wang · Computer Engineering and Applications Journal · 2010
The theory of generalized tautology in many-valued logical system Hα is extended and theory of generalized tautology in order dense subalgebras of the many-valued logical system Hα is considered.A new partition of F(S) can be obtained in order dense subalgebras of logic system H 1 2 by utilizing the concepts of accessible generalized tautology.At last,some results in H 1 2 are generalized to the system H(α0≤α≤1).