高階述語論理
#Fleeting_Notes
高階述語論理(Higher-order logic、
HOL
)
高階述語論理を扱えることを表すために定理証明支援系にHOLがついているものがある
Isabelle/HOL
Isabelle/HOL-Z
HOL Light
確認用
Q. 高階述語論理
関連
調査用
Google.icon
高階述語論理(日)
Google.icon
Higher-order logic(英)
Wikipedia.icon
高階述語論理 - Wikipedia(日)
高階述語論理(検索) - Wikipedia(日)
Wikipedia.icon
Higher-order logic - Wikipedia(英)
Higher-order logic(検索) - Wikipedia(英)
#HOL