国際会議 2019年3月 On Cut-Elimination Theorem in Cyclic-Proof Systems Third Workshop on Mathematical Logic and its Applications (MLA 2019) Koji Nakazawa, Daisuke Kimura, Tachio Terauchi, Hiroshi Unno, Kenji Saotome 記述言語 英語 会議種別 口頭発表(一般)