t_wの輪郭
主義
直観
直観主義
2023/9/27 15:02:00
直観主義論理
論理
直観論理
直観主義論理
2023/9/27 14:49:00
ハイティング代数
双対直観論理
直観主義的シークエント
『プログラミング言語論 第9回 論理型プログラミング言語 担当：犬塚』
直観主義論理は計算と相性が良い
「普通の論理は、直観主義論理に対する拡張」