Relations between fuzzy implication algebra and Heyting algebra
Chong-You Zheng · 2002
In order to study fuzzy logic system which value is in [0, 1], fuzzy implication algebra is introduced as a kind of abstract algebraic structure. Heyting algebra is introduced as the algebraic model of intuition proposition logic. In this paper, some relations between fuzzy implication algebra and Heyting algebra are given.