2023.11.13
前：
2023.11.12
後：
2023.11.14
#日報
思った
選択と集中
メモ
R. Iemhoff; 2022; "Reasoning in Circles"
D. Shamkanov; 2018; "Circular Proofs for the Gödel-Löb Provability Logic"
の体系を
Tait計算
から普通の
シークエント計算
に直している．
シークエント計算体系G3
について本当に色々知りたくなってきた
A. S. Troelstra, H. Schwichtenberg; "Basic Proof Theory"
がほしい．
地味に
様相論理の公理Grz
などについても少し触れている．