お久しぶりですちょーさんです。今回はクリスマスなので直観主義論理の話題です（？）。 りす．さん（@riss_gendarmery）のMath Advend Calender 2020の13日目に記事を投稿させてもらいました。 内容は直観主義論理のリンデンバウム代数がハイティング代数に…