@article {
author = {Yon, Y. and Kim, K.},
title = {On Heyting algebras and dual BCK-algebras},
journal = {Bulletin of the Iranian Mathematical Society},
volume = {38},
number = {1},
pages = {159-168},
year = {2012},
publisher = {Iranian Mathematical Society (IMS)},
issn = {1017-060X},
eissn = {1735-8515},
doi = {},
abstract = {A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equivalent to an $i$-invariant and $m$-invariant dual $BCK$-semilattices, and show that a commutative Heyting algebra is equivalent to a bounded implicative dual $BCK$-algebra.},
keywords = {Heyting semilattice,Heyting algebra,dual $BCK$-algebra},
url = {http://bims.iranjournals.ir/article_397.html},
eprint = {http://bims.iranjournals.ir/article_397_0b7c6a289b3214ec9be3fec521a61f1a.pdf}
}