2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2002★ 2 cited
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
Larry Wos, Dolph Ulrich, Branden Fitelson
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.…
cs.LO2002
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
Larry Wos, Dolph Ulrich, Branden Fitelson
With the inclusion of an effective methodology, this article answers in detail a question that, for a quarter of a century, remained open despite intense study by various researche…