Generalized Tautology in Fuzzy Modal Propositional Logic
Degang Wang · Dianzi xuebao · 2007
The concepts of dimension-variable operation,generalized type and the generalized universal algebra are defined.Then,the concept of Fuzzy Modal Propositional Logic together with it's operations are proposed.The system of M is introduced by the use of the concept of generalized universal algebra.At last,the properties and the classification of generalized tautologies are discussed.It is proved that there are only three generalized tautologies in system of M.