File:LK groupe logique.png
No higher resolution available.
LK_groupe_logique.png (452 × 284 pixels, file size: 7 KB, MIME type: image/png)
|
This is a file from the Wikimedia Commons. The description on its description page there is shown below.
|
Summary
| Description | Mathematical formula: logic group of sequent calculus LK |
| Date | |
| Source | tex file |
| Author | Laurent Regnier |
Licensing
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 07:57, 4 January 2006 | 452 × 284 (7 KB) | Lregnier | Category:Logics {{Information |Description = Mathematical formula: logic group of sequent calculus LK |Source = tex file |Date = 2006/01/04 |Author = Laurent Regnier |Permission = |other_versions = <i>none</i> |}} |
File usage
The following page uses this file:
