コンパクト論理の計算

テンソル計算は線形コンパクト閉圏でやればいい。コンパクト閉圏の計算は、コンパクト論理と同じはず。コンパクト論理のシーケント計算はテンソル計算と同じはず。

だから、テンソル計算のためのシーケント計算があるはず。で、それを書き下したいのだがなー。