S. K. Chakrabarti, R. N. Yadav, and S. R. Pathak, “On Heyting Algebra”, IJRMS, vol. 6, no. 5, pp. 01–05, May 2020.