Minimal logic

Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It can be formulated as the intersection of intuitionistic logic and paraconsistent logic, in that it rejects both the law of excluded middle as well as the principle of explosion. As a consequence, here neither of the two derivations