Image:Sequent calculus for classical linear logic.png

From Free net encyclopedia

No file by this name exists, you can upload it

Inference rules for classical linear sequent calculus.

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.
Subject to disclaimers.

For the linear logic page.

This is intended as a stopgap measure until <math> matures more. Currently it doesn't even handle & (i.e., \&) correctly!

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.</math>

There are no pages that link to this file.

Retrieved from "http://www.netipedia.com/index.php/Image:Sequent_calculus_for_classical_linear_logic.png"