This image shows some kind of formula that could be converted to TeX. Storing formulas as images makes it harder to change them. TeX also helps making sure that they all use the same font and size. If you know how to set this formula in TeX, use this template with a parameter {{Use TeX|1=Here goes the formula }} Tips when using this template: Do put spaces in between adjacent {{s and adjacent }}s Do include the 1= Do not include the tags; by default: <math>...</math> tags will be added later If this is a chemical equation. add |2=chem to use <chem>...</chem> tags instead |2=math chem is an option if needed for color or alignment, but do include your \ces Any other values in the second parameter will be ignored 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}}}$

Summary

DescriptionSequent 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!.
Source	Transferred from en.wikipedia, the file was known as: en:Image:Sequent calculus for classical linear logic.png
Author	Kaustuv Chaudhuri
Permission (Reusing this file)	Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license. You are free: to share – to copy, distribute and transmit the work to remix – to adapt the work Under the following conditions: attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original. This licensing tag was added to this file as part of the GFDL licensing update.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.

Original upload log