片側シーケント

Γ ⇒ Δ がシーケントだとする。Γ ⇒ または ⇒ Δ の形を片側（one-sided）シーケントと呼ぶ。例えば、 ⇒ Δ だけを考えて片側シーケント計算ができる。双対的に、Γ ⇒ だけの計算もできる。これは一見ナンセンスに見えるがそうではない。

まず、両側シーケントがいつでも片側にできるわけではない。非古典論理では、片側に変形できないものがある。この片側にできる／できないが、圏、複圏、多圏の違いに（ある程度は）関係している。

片側にできると、それは圏が非常に高い対称性をもっていることになる。典型的な例は、コンパクト閉圏。この文脈では、片側シーケントは、name, conameに対応する。別な言い方をすれば、ゲーデル符号化、ノイマン式プログラム、カリー化ともいえる。片側シーケント ⇒ Δ は、単に論理式（の並び）Δと同一視できるように見えるが、そうではない。圏で言えば、対象と射が同一視できないのと同様に同一視できない。もちろん、特定文脈での同一視はあるけれども。