İbrahim Şentürk and T. Öner, “A CONSTRUCTION OF HEYTING ALGEBRA ON CATEGORICAL SYLLOGISMS”, Mat. Bilt., vol. 41, no. 1, pp. 5–12, Jan. 2017, doi: 10.37560/matbil1170005s.