Dosiero:Sequent calculus for classical linear logic.png

El Vikipedio

Sequent_calculus_for_classical_linear_logic.png (14KB, MIME type: image/png)

Wikimedia Commons Logo 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.

GNU head 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".

العربية | 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)

La jenaj paĝoj ligas al ĉi tiu dosiero: