2017年3月24日 結合則を持たない部分構造論理の Craig の補間定理 日本数学会2017年度年会 数学基礎論および歴史分科会 関 隆宏 記述言語 日本語 会議種別 口頭発表(一般) 主催者 日本数学会 開催地 首都大学東京 いくつかの結合則を持たない部分構造論理の Craig の補間定理について,シーケント計算を用いて cut 除去定理の帰結として導出する方法を論じた。