Heyting代数与关联BCK代数的关系

Heyting Algebra and Associated BCK Algebra

Heyting代数是作为直觉主义命题的代数模型而引进的,而BCK代数是日本数学家于1966年引入的代数。讨论了Heyting代数与BCK代数之间的关系,给出了构成Heyting代数的一个充要条件。

Heyting algebra is introduced as the algebraic model of instuition proposition logic, but BCK algebra was put forward by Japanese mathematician in 1966. In this paper, relations between Heyting algebra and BCK agebra are discussed, and also the sufficient condition and the necessary condition to the forming of Heyting agebra is given out.