Main Page
From LLWiki
(Difference between revisions)
(→Getting started) |
|||
| Line 19: | Line 19: | ||
== Getting started == |
== Getting started == |
||
| − | Please read the [[recommendations]] before edition in this wiki. |
+ | * Please read the [[recommendations]] before edition in this wiki. |
| − | + | * Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. |
|
| − | Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. |
+ | * Available LaTeX macros are listed on the [[LLWiki LaTeX Style]] page. |
| − | + | * You can use the [[sandbox]] for tests. |
|
| − | Available LaTeX macros are listed on the [[LLWiki LaTeX Style]] page. |
+ | * [[Special:Wantedpages|Wanted pages]]. |
| − | + | * [http://perso.ens-lyon.fr/olivier.laurent/llwiki.html Technical information] about this wiki. |
|
| − | You can use the [[sandbox]] for tests. |
||
| − | |||
| − | [http://perso.ens-lyon.fr/olivier.laurent/llwiki.html Technical information] about this wiki. |
||
<!-- |
<!-- |
||
Revision as of 10:33, 24 March 2009
Contents
- An introduction to linear logic
- Syntax
- Sequent calculus
- Intuitionistic linear logic
- Fragments
- Proof-nets
- Translations of classical and intuitionistic logics
- Semantics
- Light linear logics
Getting started
- Please read the recommendations before edition in this wiki.
- Consult the User's Guide for information on using the wiki software.
- Available LaTeX macros are listed on the LLWiki LaTeX Style page.
- You can use the sandbox for tests.
- Wanted pages.
- Technical information about this wiki.
