\begin{definition}[Definition:Johansson's Minimal Logic]
<section notitle="True" name="definition">
'''Johansson's minimal calculus''' is a system of propositional logic of the intuitionist school.
The philosophical position behind it is that it may be the case that one or both of:
* The Law of the Excluded Middle (a statement is either true or false);
* The Rule of Bottom-Elimination (from a contradiction anything can be deduced),
does not hold.
Thus this philosophical school allows for the foundation of the study of fuzzy logic.
{{transclude:Definition:Johansson's Minimal Calculus/Axioms
  |section  = definition
  |increase = 1
  |title    = Axioms of Johansson's Minimal Calculus
  |header   = 2
  |link     = true
}}</section>
{{namedfor|Ingebrigt Johansson}}
\end{definition}