Image:Sequent calculus for classical linear logic.png
|
Inference rules for classical linear sequent calculus.
Missing image Heckert_GNU_white.png | 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.
File links
There are no pages that link to this file.