中間論理()は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。