I. Senturk and T. Oner, “A CONSTRUCTION OF HEYTING ALGEBRA ON CATEGORICAL SYLLOGISMS”, Mat. Bilt., vol. 41, no. 1, Jan. 2017, doi: 10.37560/matbil1170005s.