Equivalential calculus

Redirect to:

• List of axiomatic systems in logic#Equivalential calculus