A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
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 Subjectdoi:10.37560/matbil1170005s fatcat:ruo5dey4rrbqxgqmbuf6y7uv7u