Characterization of fuzzy implication algebras. (Chinese. English summary) Zbl 1199.03060
Summary: In this paper, some properties of fuzzy implication algebras are given and a condition for a fuzzy implication algebra to become a Heyting algebra is obtained. Then some characterizations for an algebra \( (X,\rightarrow,0)\) of type (2,0) to become a fuzzy implication algebra are discussed.
MSC:
| 03G25 | Other algebras related to logic |
| 06D20 | Heyting algebras (lattice-theoretic aspects) |
| 68T37 | Reasoning under uncertainty in the context of artificial intelligence |
