XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
Wos, Larry · Ulrich, Dolph · Fitelson, Branden
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.