ing代数γ，在γ上有效的命题公式是中介逻辑。反过来说，给定一个中介逻辑可以构造出是 Heyting代数的它的Lindenbaum代数。一个直觉主义Kripke框架"F"是偏序集合，而Kripke模型"M"是带有求值使得formula_1是"F"的上闭子集的Kripke框架。在"F"中有效的命题公式的集合是在中介逻辑中有效的。给定一个中介逻辑Σ有可能构造一个Kripke模型"M"使得"M"的逻辑是Σ（这种构造叫做“典范模型”）。带有这个性质的Kripke框架可能不存在，但是一般框架总是有。Secti