A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams

Necla Kircali Gursoy, Ibrahim Senturk, Tahsin Oner +1

In this paper, we deal with a calculus system SLCD (Syllogistic Logic with Carroll Diagrams), which gives a formal approach to logical reasoning with diagrams, for representations…