一种特定类型的前束范式，也称有效性司寇伦范式。一司寇伦范式是一前束范式，其中无自由个体变元，至少有一存在量词，并且所有存在量词都在全部全称量词之前。谓词逻辑的每一公式A都有一个(唯一的)司寇伦范式B，A是普遍有效(可证明)的，当且仅当B是普遍有效(可证明)的。还有一种司寇伦范式，称为可满足性司寇伦范式。一可满足性司寇伦范式是一前束范式，其中无自由个体变元，至少有一全称量词，并且所有全称量词都在全部存在量词之前。谓词逻辑的每一公式A都有一个(唯一的)可满足性司寇伦范式B，A是可满足的，当且仅当B是可满足的。