List of axiomatic systems in logic

This article contains a list of sample Hilbert-style deductive systems for propositional logics. == Classical propositional calculus systems == Classical propositional calculus is the standard propositional logic.

Source: Wikipedia — List of axiomatic systems in logic (CC BY-SA 4.0)