直観主義論理から爆発原理を取り除いたものは最小論理として知られる。