File:Sequent calculus for classical linear logic.png
Sequent_calculus_for_classical_linear_logic.png (620 × 390 pixels, file size: 13 KB, MIME type: image/png)
File information
Structured data
Captions
This image shows some kind of formula that could be converted to TeX. Storing formulas as images makes it harder to change them. TeX also helps making sure that they all use the same font and size. If you know how to set this formula in TeX, use this template with a parameter
Deutsch ∙ English ∙ italiano ∙ magyar ∙ Nederlands ∙ polski ∙ sicilianu ∙ svenska ∙ Ελληνικά ∙ български ∙ македонски ∙ русский ∙ 日本語 ∙ فارسی ∙ +/− |
Can be replaced with following TeX equivalent when \bindnasrepma (⅋) is available:
Summary
editDescriptionSequent calculus for classical linear logic.png |
English: Inference rules for classical linear sequent calculus. This is designed for the page and is intended as a stopgap measure until <math> matures more. Currently it doesn't even handle & (i.e., \& ) correctly!. |
||||||||
Source | Transferred from en.wikipedia, the file was known as: en:Image:Sequent calculus for classical linear logic.png | ||||||||
Author | Kaustuv Chaudhuri | ||||||||
Permission (Reusing this file) |
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. |
Original upload log
editDate/Time | Dimensions | User | Comment |
---|---|---|---|
14:19, 5 January 2005 | en:User:Quadell | (tagged) | |
02:12, 22 August 2004 | 620x390 (13361 bytes) | en:User:Kaustuv | (Gah! Uploaded wrong file by mistake. Please delete earlier versions.) |
02:05, 22 August 2004 | 620x355 (11933 bytes) | en:User:Kaustuv | (correcting mistakes in the older version) |
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 | 620x422 (15111 bytes) | en:User:Kaustuv | (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 | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 15:37, 19 March 2006 | 620 × 390 (13 KB) | Maksim (talk | contribs) | 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 <math> matures more. Currently it does |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
- Usage on ja.wikipedia.org