Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Interdeducibility of properties of an abstract consequence relation.
Mar 8, 2013 8:40 PM