一般にここの文字列は論理積と解釈され、以下のようなシークエント表現A,B⊢C{\displaystyle{\mathcal{A}},{\mathcal{B}}\vdash{\mathcal{C}}}は次のように解釈される。
这个字符串的标准解释是合取式：我们希望把相继式符号A,B⊢C{\displaystyle{\mathcal{A}},{\mathcal{B}}\vdash{\mathcal{C}}}读做(A与B)蕴涵C。