2024.01.15
https://www.youtube.com/watch?v=hJLx825EVAE
前：2024.01.14
後：2024.01.16
#日報
知った
Diggy-MO'の公式ツイッターアカウントだとは思うが，今日付でフォロワー13で本当にそうなのか？と疑惑になってくる
https://twitter.com/diggymo04
メモ: 正規様相論理の演繹定理
正規様相論理では演繹定理，正確には$ \Gamma, A \vdash B \implies \Gamma \vdash A \to Bは成り立たない．
R. Hakli, S. Negri; "Does the deduction theorem fail for modal logic?"参照．
https://www.mv.helsinki.fi/home/negri/selected_pub/dedthm.pdf
https://math.stackexchange.com/questions/1272530/deduction-theorem-in-modal-logic
なお，逆方向$ \Gamma \vdash A \to B \implies \Gamma, A \vdash Bはモーダス・ポネンスを持つHilbert流演繹体系なら基本的に成立する．正規様相論理は持つので成立する．
ただし次のことは成り立つ（らしい）
厳密含意の演繹定理
$ \Gamma, A \vdash B \implies \Gamma \vdash \Box(A \to B)
あるいは厳密含意$ ⥽を用いて$ \Gamma \vdash A \mathrel{⥽} B
メモ
様相演算子の一般化について
知った
goreshit - gabberzon!のサンプリングってこれだったんだ
https://www.youtube.com/watch?v=ujkW_0pCyjw