講演・口頭発表等

2017年3月24日

結合則を持たない部分構造論理の Craig の補間定理

日本数学会2017年度年会 数学基礎論および歴史分科会
  • 関 隆宏

記述言語
日本語
会議種別
口頭発表(一般)
主催者
日本数学会
開催地
首都大学東京

いくつかの結合則を持たない部分構造論理の Craig の補間定理について,シーケント計算を用いて cut 除去定理の帰結として導出する方法を論じた。