中介逻辑是在直觉主义逻辑和经典逻辑之间的中介，这是在它们包含在直觉主义逻辑中不可证明的定理，而又不等于的经典逻辑的意义上说的。这种逻辑也叫做超直觉主义或次经典逻辑。有连续统的势个不同的中介逻辑，通常是向直觉主义逻辑增加一个或多个公理而获得的。这种逻辑的例子有：研究中介逻辑的工具类似于直觉主义逻辑所使用的，比如Kripke语义。例如，Gödel-Dummett逻辑相对于线序的Kripke模型完全。
语义.给定一个Heyting代数γ，在γ上有效的命题公式是中介逻辑。反过来说