Minimal logic is a type of non-classical logic that serves as a foundation for reasoning without assuming the principle of explosion, which states that from a contradiction, any proposition can be derived (ex falso quodlibet). In classical logic, contradictions are problematic since they can lead to trivialism, the view that every statement is true if contradictions are allowed.
New to topics? Read the docs here!