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