tlooto
Sign up
Open AccessComputer ScienceMathematics

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains

L. Henschen, Barry F. Smith, R. Veroff, S. Winker, L. Wos

1983Notre Dame Journal of Formal Logic

DOI: 10.1305/ndjfl/1093870311

Abstract

Abstract is not available.

Citation format

HENSCHEN, L., et al. Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains. Notre Dame Journal of Formal Logic, 1983, 24: 205–223.