Explore relationships

Minimal logic

Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson under the name "Minimalkalkül".

Use + to expand a branch. Click a topic name to open its summary.