冠頭標準形
一部の証明計算は、冠頭標準形の論理式しか扱わない。また、冠頭標準形は算術的階層および解析的階層の構築の基盤である。
ゲーデルによる一階述語論理の完全性定理の証明では、全ての論理式を冠頭標準形に変換することが前提になっている。