Zhao, Mapan; Fan, Fengli; Xie, Yongjian Boolean atoms of Heyting algebras and their application. (Chinese. English summary) Zbl 1463.06041 J. Shandong Univ., Nat. Sci. 55, No. 5, 71-80 (2020). Summary: A kind of direct product decomposition of Heyting algebras is obtained using the Boolean elements of Heyting algebras. Based on this decomposition of Heyting algebras, it is proved that a finite Heyting algebra can be obtained by substituting the atoms of a Boolean algebra with Heyting algebras. This conclusion reveals a kind of new relationship between Heyting algebras and Boolean algebras. MSC: 06D20 Heyting algebras (lattice-theoretic aspects) Keywords:Heyting algebra; Boolean algebra; Boolean atom; substitution PDFBibTeX XMLCite \textit{M. Zhao} et al., J. Shandong Univ., Nat. Sci. 55, No. 5, 71--80 (2020; Zbl 1463.06041) Full Text: DOI