Dosiero:Sequent calculus for classical linear logic.png
El Vikipedio

Sequent_calculus_for_classical_linear_logic.png (14KB, MIME type: image/png)
| | Tiu dosiero elĉerpiĝas de la Vikimedia Komunejo, kolekto de libere uzeblaj bildoj. Vidu ĝian paĝon ĉe la Komunejo por permesinformo kaj historio de redaktado. |
La bildo estas kopiita de wikipedia:en. La originala priskribo estas:
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. A copy of the license is included in the section entitled "GNU Free Documentation License".
العربية | Česky | Deutsch | English | Español | Français | Italiano | 日本語 | 한국어 | Nederlands | Polski | Português | Slovenčina | Svenska | עברית +/- |
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)
Ligiloj al la dosiero
La jenaj paĝoj ligas al ĉi tiu dosiero:

