循環シークエント計算
Memo
シークエント計算体系
に対して
循環証明
という概念を入れることによって得られる
循環シークエント証明体系
についての
証明論
/
証明体系
James Brotherston
のPh.D論文
J. Brotherston; 2006; "Sequent Calculus Proof Systems for Inductive Definitions"
に端を発する，のだろうか？