研究上の都合で述語論理の意味論をちゃんと定義する必要が出てきた。 まず、とりあえず標準的な教科書である鹿島亮『数理論理学』を真似しようと思い検討した。 数理論理学 (現代基礎数学) 作者:鹿島 亮 朝倉書店 Amazon しかしこの本は解釈と真理値を閉論理…