Main Page
From LLWiki
(Difference between revisions)
m (→Getting started: typo) |
Lionel Vaux (Talk | contribs) (→Contents: Libérez les réseaux !) |
||
| Line 6: | Line 6: | ||
** [[Intuitionistic linear logic]] |
** [[Intuitionistic linear logic]] |
||
** [[Fragment|Fragments]] |
** [[Fragment|Fragments]] |
||
| − | ** Proof-nets |
+ | ** [[Proof-nets]] |
** Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics |
** Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics |
||
* [[Semantics]] |
* [[Semantics]] |
||
Revision as of 16:03, 9 December 2010
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.
- If you are familiar with these recommendations (are you?) and only want a reference of available LaTeX macros, see LLWiki LaTeX Style.
- Consult the User's Guide for information on using the wiki software.
- You can use the sandbox for tests.
- Wanted pages.
