この画像には、TeXに変換できる何らかの数式が描かれています。数式を画像として保存すると、変更が難しくなります。TeXは、全てが同じフォントとサイズを使用していることの確認にも有用です。この数式をTeXで設定する方法を既にご存知の方は、このテンプレートを以下のパラメータと共に使用してください。 {{Use TeX|1=ここに数式を入力}} このテンプレートを使用する際の注意点 隣接する{{s and adjacent }}の間にスペースを入れてください。 1=を含めてください。 タグを含めないでください。デフォルトでは<math>...</math>タグは後で追加されます。 化学式の場合は、|2=chemを追加し、<chem>...</chem>タグを代わりに使用してください。 色や配置が必要な場合は|2=math chemを選択できますが、\ceを含めてください。 二つ目のパラメータに他の値があっても無視されます。

Deutsch ∙ English ∙ italiano ∙ magyar ∙ Nederlands ∙ polski ∙ sicilianu ∙ svenska ∙ Ελληνικά ∙ български ∙ македонски ∙ русский ∙ 日本語 ∙ فارسی ∙ +/−

Can be replaced with following TeX equivalent when \bindnasrepma (⅋) is available:

${\displaystyle {\begin{array}{c}{\frac {}{A\vdash A}}\ \mathrm {init} \qquad {\frac {\Gamma _{1}\vdash A,\ \Sigma _{1}\quad \Gamma _{2},\ A\vdash \Sigma _{2}}{\Gamma _{1},\ \Gamma _{2}\vdash \Sigma _{1},\ \Sigma _{2}}}\ \mathrm {cut} \\\\{\frac {\Gamma \vdash \Sigma }{\Gamma ,\ !A\vdash \Sigma }}\ \mathrm {weak} _{L}\qquad {\frac {\Gamma \vdash \Sigma }{\Gamma \vdash ?A,\ \Sigma }}\ \mathrm {weak} _{R}\qquad {\frac {\Gamma ,\ !A,\ !A\vdash \Sigma }{\Gamma ,\ !A\vdash \Sigma }}\ \mathrm {contr} _{L}\qquad {\frac {\Gamma \vdash ?A,\ ?A,\ \Sigma }{\Gamma \vdash ?A,\ \Sigma }}\ \mathrm {contr} _{R}\\\\{\frac {\Gamma ,\ A,\ B\vdash \Sigma }{\Gamma ,\ A\otimes B\vdash \Sigma }}\otimes _{L}\qquad {\frac {\Gamma _{1}\vdash A,\ \Sigma _{1}\quad \Gamma _{2}\vdash B,\ \Sigma _{2}}{\Gamma _{1},\ \Gamma _{2}\vdash A\otimes B,\ \Sigma _{1},\ \Sigma _{2}}}\otimes _{R}\qquad {\frac {\Gamma \vdash \Sigma }{\Gamma ,\ 1\vdash \Sigma }}1_{L}\qquad {\frac {}{\vdash 1}}1_{R}\\{\frac {\Gamma ,\ A\vdash \Sigma }{\Gamma ,\ A\ \&\ B\vdash \Sigma }}\&_{L1}\quad {\frac {\Gamma ,\ B\vdash \Sigma }{\Gamma ,\ A\ \&\ B\vdash \Sigma }}\&_{L2}\quad {\frac {\Gamma \vdash A,\ \Sigma \quad \Gamma \vdash B,\ \Sigma }{\Gamma \vdash A\ \&\ B,\ \Sigma }}\&_{R}\quad {\begin{matrix}\\\mathrm {no} \ \top _{L}\end{matrix}}\qquad {\frac {}{\Gamma \vdash \top ,\ \Sigma }}\top _{R}\\\\{\frac {\Gamma _{1},\ A\vdash \Sigma _{1}\quad \Gamma _{2},\ B\vdash \Sigma _{2}}{\Gamma _{1},\ \Gamma _{2},\ A{\color {red}{\backslash bindnasrepma}}B\vdash \Sigma _{1},\ \Sigma _{2}}}{\color {red}{\backslash bindnasrepma}}_{L}\qquad {\frac {\Gamma \vdash A,\ B,\ \Sigma }{\Gamma \vdash A{\color {red}{\backslash bindnasrepma}}B,\ \Sigma }}{\color {red}{\backslash bindnasrepma}}_{R}\qquad {\frac {}{\bot \vdash }}\ \bot _{L}\qquad {\frac {\Gamma \vdash \Sigma }{\Gamma \vdash \bot ,\ \Sigma }}\ \bot _{R}\\\\{\frac {\Gamma ,\ A\vdash \Sigma \quad \Gamma ,\ B\vdash \Sigma }{\Sigma ,\ A\oplus B\vdash \Sigma }}\ \oplus _{L}\qquad {\frac {\Gamma \vdash A,\ \Sigma }{\Sigma \vdash A\oplus B,\ \Sigma }}\ \oplus _{R1}\qquad {\frac {\Gamma \vdash B,\ \Sigma }{\Sigma \vdash A\oplus B,\ \Sigma }}\ \oplus _{R2}\qquad {\frac {}{\Sigma ,\ 0\vdash \Sigma }}\ 0_{L}\qquad \mathrm {no} \ 0_{R}\\\\{\frac {\Gamma ,\ A\vdash \Sigma }{\Gamma ,\ !A\vdash \Sigma }}\ !_{L}\qquad {\frac {!\Gamma \vdash A,\ ?\Sigma }{!\Gamma \vdash !A,\ ?\Sigma }}\ !_{R}\qquad {\frac {!\Gamma ,\ A\vdash ?\Sigma }{!\Gamma ,\ ?A\vdash ?\Sigma }}\ ?_{L}\qquad {\frac {\Gamma \vdash A,\ \Sigma }{\Gamma \vdash ?A,\ \Sigma }}\ ?_{R}\\\\\mathrm {CLL\ sequent\ calculus} \end{array}}}$

概要

解説Sequent calculus for classical linear logic.png	English: Inference rules for classical linear sequent calculus. This is designed for the page and is intended as a stopgap measure until <math> matures more. Currently it doesn't even handle & (i.e., \&) correctly!.
原典	Transferred from en.wikipedia, the file was known as: en:Image:Sequent calculus for classical linear logic.png
作者	Kaustuv Chaudhuri
許可 (ファイルの再利用)	この文書は、フリーソフトウェア財団発行のGNUフリー文書利用許諾書 (GNU Free Documentation License) 1.2またはそれ以降のバージョンの規約に基づき、複製や再配布、改変が許可されます。不可変更部分、表紙、背表紙はありません。このライセンスの複製は、GNUフリー文書利用許諾書という章に含まれています。http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue このファイルはクリエイティブ・コモンズ 表示-継承 3.0 非移植ライセンスのもとに利用を許諾されています。 あなたは以下の条件に従う場合に限り、自由に 共有 – 本作品を複製、頒布、展示、実演できます。 再構成 – 二次的著作物を作成できます。 あなたの従うべき条件は以下の通りです。 表示 – あなたは適切なクレジットを表示し、ライセンスへのリンクを提供し、変更があったらその旨を示さなければなりません。これらは合理的であればどのような方法で行っても構いませんが、許諾者があなたやあなたの利用行為を支持していると示唆するような方法は除きます。 継承 – もしあなたがこの作品をリミックスしたり、改変したり、加工した場合には、あなたはあなたの貢献部分を元の作品とこれと同一または互換性があるライセンスの下に頒布しなければなりません。 このライセンスのテンプレートは、GFDLのライセンス・アップデートによりこのファイルに追加されたものです。http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue Copyright (c) 2004 Kaustuv Chaudhuri. Permission is granted to copy, distribute and/or modify under the GFDL, version 1.2 any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts.

元のアップロードログ