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

Heyting Algebra and Associated BCK Algebra

作　　者：李兴宽[1] 马锐[2] 陈世联[1] 

机构地区：[1]昆明理工大学理学院 [2]云南财贸学院计科系,云南昆明650021

出　　处：《云南农业大学学报》2006年第3期387-389,共3页Journal of Yunnan Agricultural University

摘　　要：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.

关 键 词：HEYTING代数 BCK代数 FI代数 

分 类 号：O15[理学—数学]