List of logic systems#Positive propositional calculus
- REDIRECT List of axiomatic systems in logic
{{rcatsh|
{{r from hypernym}}
{{r with possibilities}}
{{r from move}}
}}
{{rcatsh|
{{r from hypernym}}
{{r with possibilities}}
{{r from move}}
}}