ひかりちゃんの悲観的絵日記

論理学方面の関心から束論について勉強したいと思うようになったので，このシリーズでまとめます．束は代数構造の一種で，論理の意味論を組むときに出てくるブール代数やハイティング代数などの代数構造は束として表されます．束について理解すると論理学の理解も深まると思われます． 束には順序構造としての定義と，代数…