2025.11.12
https://gyazo.com/fc93e411c59e1403b64ba4ce37ccb7c9
メモ
デッドラインを決めた方が何かが書ける気がしたので数理論理学アドベントカレンダーに参加することにした．クリプキ意味論の悪口を言う人の翌日にクリプキ意味論を用いて直観主義論理より更に弱い論理のことについての記事を書く予定です．
Corsiの論文とその発展について書いていく予定です 思った
思った
サーベイを全部まとめた．今までやってきたことが全部結局一つのことにまとまりつつある
メモ
大阪でやってくれてうれしー