From Wikipedia, the free encyclopedia
La bildo estas kopiita de wikipedia:en. La originala priskribo estas:
Inference rules for classical linear sequent calculus.
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.
date/time |
username |
edit summary |
14:19, 5 January 2005 |
en:User:Quadell |
(tagged) |
07:58, 2 June 2004 |
en:User:Kaustuv |
(copyright info added) |
07:51, 2 June 2004 |
en:User:Kaustuv |
(barfs if something resembling a tag is in its description) |
07:49, 2 June 2004 |
en:User:Kaustuv |
(rules as an image because <math> has no support for inference rules) |
[edit] Historio de la dosiero
Legend: (cur) = this is the current file, (del) = delete this old version, (rev) = revert to this old version.
Click on date to download the file or see the image uploaded on that date.
- (del) (cur) 02:12, 22 August 2004 . . en:User:Kaustuv Kaustuv ( en:User_talk:Kaustuv Talk) . . 620x390 (13361 bytes) (Gah! Uploaded wrong file by mistake. Please delete earlier versions.)
- (del) (rev) 02:05, 22 August 2004 . . en:User:Kaustuv Kaustuv ( en:User_talk:Kaustuv Talk) . . 620x355 (11933 bytes) (correcting mistakes in the older version)
- (del) (rev) 07:49, 2 June 2004 . . en:User:Kaustuv Kaustuv ( en:User_talk:Kaustuv Talk) . . 620x422 (15111 bytes) (rules as an image because <math> has no support for inference rules)
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment |
current | 15:37, 19 March 2006 | 620×390 (13 KB) | Maksim | |
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):