The automation of syllogistic I. Syllogistic normal forms
Domenico Cantone, Susanna Ghelfo, Eugenio Giovanni Omodeo · Journal of Symbolic Computation · 1988
“Boole first put forth the problem of Logical Science in its complete generality: Given certain logical premisses or conditions, to determine the description of any class of objects under those conditions .”