直接関係はないけれど、研究集会で出た話題なので･･･当たり前の話（もしくは単なる誤解）なので恐縮ですが、備忘のためここに書きます。 今回の会議は「代数と論理」についてで、論理体系の証明論的性質を代数的に特徴付けることなどが主なテーマである*1。…

本日はT氏及びL氏。どちらも興味深かったです。L氏の話は、その意味論が実数上の位相空間にちょうどなるように、様相論理の公理を考える、というもの。M氏が質問で指摘していたように、ファジイ論理でも真理値を使用してある種の様相operatorを導入すること…

起床は7時半、やっぱり眠い。天気は雪混じり、とても寒い。朝食を食べてから大学へ。