Title :
Relations between fuzzy implication algebra and Heyting algebra
Author_Institution :
Dept. of Math., Capital Normal Univ., Beijing
fDate :
6/23/1905 12:00:00 AM
Abstract :
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
Keywords :
algebra; fuzzy logic; Heyting algebra; fuzzy implication algebra; fuzzy logic system; intuition proposition logic; Algebra; Equations; Fuzzy logic; Fuzzy reasoning; Fuzzy systems; Lattices; Logic functions; Mathematics;
Conference_Titel :
Fuzzy Systems, 2001. The 10th IEEE International Conference on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-7803-7293-X
DOI :
10.1109/FUZZ.2001.1007273