2024.08.31
https://gyazo.com/8010ba381d839963afdf0bd87a0a5176
前：2024.08.30
後：2024.09.01
#日報
メモ
R. Kashima, Y. Kato; 2022; "Semantical Cut-Elimination for the Provability Logic of True Arithmetic"
$ \bf GLSのシークエント計算だが、$ \bf GLのシークエント計算に三本線の$ ⇛を導入(second level sequent）して、このレベルに対して$ \sf T公理すなわち$ \frac{\varphi, \Gamma ⇛ \Delta}{\Box \varphi, \Gamma ⇛ \Delta}を入れることによって実現している、ように見える
構文論的な話はH. Kushida; "A proof theory for the logic of provability in true arithmetic"に書いてあるそうだが見る手段が無い…
メモ
M Mojtahedi, "On Provability Logic of HA"
Heyting算術の証明可能性論理
観た
パプリカ
夢過ぎる
業物語
これ本当に物語シリーズ？