Chong-You Zheng
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Heyting algebra, Algebra over a field, Fuzzy logic, Mathematics, Term algebra, Algebraic structure, Algebraic logic, Algebra representation