Main Page
From LLWiki
(Difference between revisions)
(→Getting started) |
|||
| Line 24: | Line 24: | ||
* You can use the [[sandbox]] for tests. |
* You can use the [[sandbox]] for tests. |
||
* [[Special:Wantedpages|Wanted pages]]. |
* [[Special:Wantedpages|Wanted pages]]. |
||
| − | * [http://perso.ens-lyon.fr/olivier.laurent/llwiki.html Technical information] about this wiki. |
||
<!-- |
<!-- |
||
Revision as of 15:26, 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.
