Positive propositional calculus

Redirect to:

• List of axiomatic systems in logic#Positive propositional calculus