In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. A logic is a set of propositional formulas with certain closure properties. The logics are partially ordered under containment. A logic is stronger than another iff it contains the other.