English Minimal logic Cited by user Marc Schroeder on 12 Jan 2024 Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson.