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

Open in new window