Senturk, Ibrahim, and Tahsin Oner. “A CONSTRUCTION OF HEYTING ALGEBRA ON CATEGORICAL SYLLOGISMS”. Matematichki Bilten, vol. 41, no. 1, Jan. 2017, https://doi.org/10.37560/matbil1170005s.