ハイティング代数の性質 2020年10月04日に投稿 • カテゴリ：数学 • タグ：ハイティング代数、ブール代数、束 古典論理の意味論がブール代数によって議論できるように，直観主義論理の意味論はハイティング代数によって考 … 続きを読む