2023.10.07
https://www.youtube.com/watch?v=kIl3cVeDnYo
前：
2023.10.06
後：
2023.10.08
#日報
思った
音楽って音MADの部分集合だと思う．
逆か？
メモ
冷静に見ればやはり形式化していたのは
自然演繹
であった．
思った
対偶の分類について
メモ
Lindenbaum-Tarski代数
思った:
様相論理のシークエント計算
ムチャクチャ大雑把な提案としては始式として公理を追加すればよい．
始式として公理を付け加えた様相論理のシークエント計算体系
この体系では
カット除去定理
がうまく成り立たない場合があり，
証明論
的な観点からは終わる
メモ
大西琢朗; "論理学上級Ⅱ, 様相論理のシークエント計算"
https://sites.google.com/site/onishitakuro/teaching/2018nian-du-lun-li-xue-shang-jiii
これで形式化してしまった（まだ命題論理までだが）以上調べる他無いとは思うが
様相論理のシークエント計算
については色々文献があるが，
様相論理の自然演繹
に関しては何があるのだろうか
思っている
シークエント計算
は
自然演繹
のメタ計算体系であるという立場をなにかで見て，その方針でなんとかできませんかと思っている