Logical system

Burrows–Abadi–Needham logic many-valued logic trivial theory propositional calculus modal logic classical logic non-classical logic predicate logic epsilon calculus NOR logic Reason maintenance