publicaciones seleccionadas artículo académico Establishing connections between Aristotle's natural deduction and first-order logic 2008-11-1 Corcoran's Aristotelian syllogistic as a subsystem of first-order logic 2007-6-1