高階述語論理
higher-order predicate logic (HOL)
高階述語論理 - Wikipedia
Higher-order logic - Wikipedia
Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)
higher-order logic in nLab
意味論
標準意味論 (standard semantics)
標準意味論を持つ
高階述語論理
は、
無矛盾性 (consistency)
と
構文論的完全性 (expressive completeness)
と
決定可能性 (decidability)
を兼ね備へない
健全性 (soundness)
と
意味論的完全性 (semantic completeness)
と
決定可能性 (decidability)
も兼ね備へない
Henkin 意味論を持つ
高階述語論理
は此れ等を兼ね備へるが、
一階述語論理 (FOL)
と表現力は變はらない
Henkin 意味論 (Henkin semantics)
多種論理
に近い
二階述語論理 (second-order logic)
二階述語論理 - Wikipedia
Second-order logic - Wikipedia
second-order logic in nLab
existential second-order logic (ESO)
Independence Friendly Logic > Existential second-order logic (a.k.a. \(\Sigma^{1}_1\) logic) (Stanford Encyclopedia of Philosophy)
independence-friendly logic (IF logic)
と同等
monadic second-order logic (MSO)
Monadic second-order logic - Wikipedia