Boole's criteria for validity and invalidity. - John Corcoran; Susan Wood (Notre Dame J. Formal Log., 1980)