John K. Slaney More Proofs of an Axiom of Lukasiewicz. 59-66 2002 29 J. Autom. Reasoning 1 db/journals/jar/jar29.html#Slaney02 http://dx.doi.org/10.1023/A:1020541318160