A CONSTRUCTION OF HEYTING ALGEBRA ON CATEGORICAL SYLLOGISMS

Ibrahim Senturk
2017 Matematicki bilten  
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. 2000 Mathematics Subject
more » ... hematics Subject Classification. 03B80, 06D20, 18B35.
doi:10.37560/matbil1170005s fatcat:ruo5dey4rrbqxgqmbuf6y7uv7u