ハイティング代数の性質 Posted on 日 04 10月 2020 in 数学 • Tagged with ハイティング代数, ブール代数, 束 古典論理の意味論がブール代数によって議論できるように，直観主義論理の意味論はハイティング代数によって考 … Continue reading