Corcoran's Aristotelian syllogistic as a subsystem of first-order logic. Andrade, Edgar J.; Becerra, Edward — 2007 Revista Colombiana de Matemáticas