The Logical Algerba and Gerneralized Tautology on Limited Atanassov System

The algebra and subalgebra on limited Atanassov logical system are discussed, and the sufficient and necessary conditions to judge its subalgebra are given, the theory of generalized tautology in logic system W,W,W n which were introduced by Professor Wang Guojun is extended to Atanassov logic system. It is also proved that in logic system I n ,there isn't absolute truthful(or false) tautology; generalized tautology does not increase with the extension of the system;and the prefix of generalized tautology isn't sensitive.