A CONSTRUCTION OF HEYTING ALGEBRA ON CATEGORICAL SYLLOGISMS
Makaleler > Tam Makale · 2017
Yazarlar: İbrahim ŞENTÜRK, Tahsin ÖNER
Математички билтен/BULLETIN MATHÉMATIQUE DE LA SOCIÉTÉ DES MATHÉMATICIENS DE LA RÉPUBLIQUE MACÉDOINE, Diğer Kurumların Hakemli Dergileri, Uluslararası, Scopus, 2017, cilt 41, ss 5-12
Özet
The main purpose of this paper is to define a Heyting algebra on categorical syllogisms.For this aim, we explain categorical syllogisms by the diagrammatic method, which gives us a suitable treatment to logical reasoning with Caroll's diagrams.In this regard, we represent the quantitative relations between syllogisms' terms by means of bilateral diagrams.Finally, we construct a system, which is a Heyting algebra, for examining categorical syllogisms by using sets.