Editing Constructive logic (section)

== 3. Minimal logic ==
{{main|Minimal logic}}
Simpler than intuitionistic logic.

'''Founder''': [[Ingebrigt Johansson|I. Johansson]] (1937){{sfn|Johansson|1937}}

'''Key Idea''': Like intuitionistic logic but without assuming the [[principle of explosion]] (ex falso quodlibet, “from falsehood, anything follows”).

'''Features''':
* Doesn’t automatically infer any proposition from a contradiction.

'''Used for''': Studying logics without commitment to contradictions blowing up the system.