ハイティング代数
#Fleeting_Notes
ハイティング代数(heyting algebra)
=
直観主義論理
構成するものが演算子等が直観主義論理を成り立たせるのに十分なものがそろっている
H = (H, ∧, ∨, →, 0, 1)
確認用
Q. ハイティング代数
調査用
Google.icon
ハイティング代数(日)
Google.icon
heyting algebra(英)
Wikipedia.icon
ハイティング代数 - Wikipedia(日)
ハイティング代数(検索) - Wikipedia(日)
Wikipedia.icon
heyting algebra - Wikipedia(英)
Heyting algebra(検索) - Wikipedia(英)