2002•Journal of MathematicsRequires access

HEYTING ALGEBRA AND FUZZY IMPLICATION ALGEBRA

Zhiwei Li

Abstract

Heyting algebra is introduced as the algebraic model of intuition proposition logic.Fuzzy implication algebra is a kind of algebraic abstraction of implicative connection of logic system whic value is in .In this paper,some basic properties of Heyting Algebra are discussed and it is proved that a Heyting algebra must be a fuzzy implication algebra,and be a Heyting-FI algebra also.

About this research paper

What this paper is about

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Heyting algebra, Mathematics, Algebra over a field, Term algebra, Algebra representation, Cellular algebra, Fuzzy logic, Division algebra