中间逻辑 中介逻辑是在直觉主义逻辑和经典逻辑之间的中介这是在它们包含在直觉主义逻辑中不可证明的定理而又不等于的经典逻辑的意义上说的这种逻辑也叫做超直觉主义或次经典逻辑 有連續統的勢个不同的中介逻辑通常是向直觉主义逻辑增加一个或多个公理而获得的 这种逻辑的例子有 直觉主义逻辑IPC Int IL H 经典逻辑CPC Cl CLIPC  P  P 弱排中律逻辑KC Jankov逻辑德摩根定律逻辑 IPC  P  P 哥德尔Dummett逻辑LCIPC  P  Q  Q  P KreiselPutnam逻辑IPC P Q  RP  Q  P  R Medvedev有限问题的逻辑 可实现性逻辑 Scott逻辑IPC  P  P  P  P P  P Smetanich逻辑IPC  Q  P P  Q  P P 研究中介逻辑的工具类似于直觉主义逻辑所使用的比如Kripke语义例如GödelDummett逻辑相对于线序的Kripke模型完全