Image:Sequent calculus for classical linear logic.png

From Wikipedia, the free encyclopedia

Wikimedia Commons logo This is a file from the Wikimedia Commons. The description on its description page there is shown below.
Commons is 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".

Aragonés | العربية | Asturianu | Български | বাংলা | ইমার ঠার/বিষ্ণুপ্রিয়া মণিপুরী | Brezhoneg | Bosanski | Català | Cebuano | Česky | Dansk | Deutsch | Ελληνικά | English | Esperanto | Español | Eesti | Euskara | فارسی | Suomi | Français | Gaeilge | Galego | עברית | Hrvatski | Magyar | Bahasa Indonesia | Ido | Íslenska | Italiano | 日本語 | ქართული | ភាសាខ្មែរ | 한국어 | Kurdî / كوردی | Latina | Lëtzebuergesch | Lietuvių | Bahasa Melayu | Nnapulitano | Nederlands | ‪Norsk (nynorsk)‬ | ‪Norsk (bokmål)‬ | Occitan | Polski | Português | Română | Русский | Slovenčina | Slovenščina | Shqip | Српски / Srpski | Svenska | తెలుగు | ไทย | Türkçe | Українська | اردو | Tiếng Việt | Volapük | Yorùbá | ‪中文(中国大陆)‬ | ‪中文(台灣)‬ | +/-

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/TimeDimensionsUserComment
current15:37, 19 March 2006620×390 (13 KB)Maksim (La bildo estas kopiita de wikipedia:en. La originala priskribo estas: Inference rules for classical linear sequent calculus. {{GFDL}} For the linear logic page. This is intended as a stopgap measure until &lt;math&gt; matures more. Currently it does)
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):