2006•Yunnan Nongye Daxue xuebaoRequires access
Heyting Algebra and Associated BCK Algebra
LI Xing-kuan, Ma Rui, Shilian Chen
Open publisher page 0 citations
Abstract
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.