Axiom (p>(p>q))>(p>q) [CCpCpqCpq]

This axiom is often called "W", since it cooresponds to Curry and Fey's "W" combinator. [Hindley and Meredith, 1990, pg 91]

In terms of combinators W is:

W x y => W x y y


Go to ...


© Copyright 2005 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CCpCpqCpq.html
This page was last modified on January 16th, 2005.