2023.10.17
https://gyazo.com/192d409eab4e847edd71641ddaa0207f
前：
2023.10.16
後：
2023.10.18
#日報
観た
星屑テレパス(アニメ); 第2話「夕焼けロケット」
萌え一点で突き抜けてくる
星屑テレパスのサブタイトル解読
星屑テレパスのサブタイトル解読#652d3a2113a1580000c4b4fe
エスペラント
むずすぎる
エル・カサド
の1~4話
memo
how to prove
読んだ
松本 和夫『復刊 数理論理学』
をチラ読みした
様相論理
の入門編があったが古すぎて(1970)
C. I. Lewis
のS1~S5ベースの証明論の議論などに終始して
Kripke意味論
とかについて一切触れていなくて歴史を感じていた
メモ
論理学を独習したいあなたに
メモ
古典命題論理
/
古典述語論理
/
直観主義命題論理
/
様相論理
の
代数的意味論
を調べたが，結局よくわからなかった
様相代数
に関しては
小野寛晰『情報科学における論理』
を開いたほうが良いかも知れない．
どのみち，
位相空間論
がまったくわかっていないので終わっている．
https://en.wikipedia.org/wiki/Algebraic_logic
古典命題論理
：
Boole代数
直観主義命題論理
：
Heyting代数
Łukasiewiczの多値論理
：
MV代数
そのまま
Many Valued Algebra
様相論理
：
様相代数
ただし具体的には
様相論理S4
：
インテリア代数
様相論理S5
または
単項1階述語論理
：
単項Boole代数
この意味で
様相論理S5と単項1階述語論理の類似性
1階述語論理
には多くの
代数的意味論
があるらしい
完備Boole代数
多項代数
述語関手論理
圏論的論理学
等式述語論理
：
シリンダー代数
集合論
：
コンビネータ論理
，
関係代数
メモ
N. Bezhanishvili, A. Colacito, D. de Jongh; "A Study of Subminimal Logics of Negation and their Modal Companions"
Johanssonの最小論理
：
Ingebrigt Johansson
に付いての代数関係
様相としての否定
に関する
様相論理
とその
Modal Companion