Grzのシークエント計算
メモ
証明可能性論理GLのシークエント計算体系
Memo
"Cut-elimination for Weak Grzegorczyk Logic Go"
https://www.jstor.org/stable/43651787
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic
https://arxiv.org/abs/1804.00955
https://arxiv.org/pdf/1704.03258
循環シークエント計算
がアツいみたいな気がする