Main Page
From LLWiki
(Difference between revisions)
Lionel Vaux (Talk | contribs) (pointer to finiteness semantics) |
Lionel Vaux (Talk | contribs) m (→Getting started: make clear the recommandation page should be visited before going wild on latex) |
||
| Line 21: | Line 21: | ||
* Please read the [[recommendations]] before edition in this wiki. |
* 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 [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. |
* You can use the [[sandbox]] for tests. |
||
* [[Special:Wantedpages|Wanted pages]]. |
* [[Special:Wantedpages|Wanted pages]]. |
||
Revision as of 22:49, 10 June 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.
- 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.
