Main Page
From LLWiki
(Difference between revisions)
(link to sandbox) |
|||
| Line 22: | Line 22: | ||
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. |
||
| + | |||
| + | You can use the [[sandbox]] for tests. |
||
<!-- |
<!-- |
||
Revision as of 18:15, 28 December 2008
Contents
- An introduction to linear logic
- Sequent calculus
- Fragments
- Intuitionistic linear logic
- Proof-nets
- Semantics
- Translations of classical and intuitionistic logics
- 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.
You can use the sandbox for tests.
