Image:Sequent calculus for classical linear logic.png

From Wikipedia, the free encyclopedia

No higher resolution available.

Sequent_calculus_for_classical_linear_logic.png‎ (620 × 390 pixel, file size: 13 KB, MIME type: image/png)

Wikimedia Commons logo This is a file from the Wikimedia Commons. The description on its description page there is shown below.
Commons is attempting to create a freely licensed media file repository. You can help.

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

العربية | Asturianu | Български | বাংলা | ইমার ঠার | Brezhoneg | Bosanski | Català | Sinugboanong Binisaya | Česky | Dansk | Deutsch | Ελληνικά | English | Esperanto | Español | Eesti | Euskara | فارسی | Suomi | Français | Galego | עברית | Hrvatski | Magyar | Bahasa Indonesia | Ido | Íslenska | Italiano | 日本語 | ქართული | 한국어 | Kurdî / كوردي | Latina | Lëtzebuergesch | Lietuvių | Bahasa Melayu | Nnapulitano | Nederlands | Norsk (nynorsk) | Norsk (bokmål) | Polski | Português | Română | Русский | Slovenčina | Slovenščina | Shqip | Српски | Svenska | తెలుగు | ไทย | Türkçe | Українська | اردو | Tiếng Việt | Volapük | 中文(简体) | 中文(繁體) | +/-

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)

The following pages on the English Wikipedia link to this file (pages on other projects are not listed):

Retrieved from "http://en.wikipedia.org../../../s/e/q/Image%7ESequent_calculus_for_classical_linear_logic.png_c9d3.html"