2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2003
Double-Negation Elimination in Some Propositional Logics
Michael Beeson, Robert Veroff, Larry Wos
This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none…
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…