Generalized tautologies of the systems H_α

Wang Guo · Journal of Shaanxi Normal University · 2003

It is introduced a new class of tnorms *α and corresponding resituated implication operators Hα with respect to a parameter α in, and defined the manyvalued systems Hα.Hα is R0 implication operator when α is 1, Hα is Gdel implication operator when α is 0, so R0 operator and Gdel operator are united in the systems Hα. The negation α with respect to a parameter α is defined in Hα. The manyvalued system H12=(,12,∨,→12) is discussed in detail. The classification theorem of generalized tautologies in F(S) is obtained on H12.

Read the paper · More papers on PaperTik