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