03767624

j

03767624 Wos, L. Winker, S. Veroff, R. Smith, B. Henschen, L. Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains. Notre Dame J. Formal Logic 24, 205-223 (1983). 1983 University of Notre Dame, Notre Dame, IN; Duke University Press, Durham, NC EN possible existence of additional shortest single axioms for the equivalential calculus complete characterization of the set of theorems deducible from each of the formulas proved too weak

doi:10.1305/ndjfl/1093870311