Fuzzy implication algebra is a kind of algebraic abstraction of implicative connection of logic system which value is in [-0,1].

• Fuzzy蕴涵代数是[0, 1]值逻辑蕴涵联结词的一种代数抽象。