XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
classification
💻 cs.LO
cs.AI
keywords
singleaxiomscalculusclassicalequivalentialquestionaffirmativelyanswers
read the original abstract
It has long been an open question whether the formula XCB = EpEEEpqErqr is, with the rules of substitution and detachment, a single axiom for the classical equivalential calculus. This paper answers that question affirmatively, thus completing a search for all such eleven-symbol single axioms that began seventy years ago.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.