List of logic systems#Implicational propositional calculus

1. REDIRECT List of axiomatic systems in logic

{{rcatsh|

{{r from hypernym}}

{{r with possibilities}}

{{r from move}}

}}