selected publications academic article 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
principal investigator on A study of pre-modern logics using modern formal tools 2006-01-01 - 2015-01-01
