Main Page
From LLWiki
(Difference between revisions)
(→Getting started) |
Lionel Vaux (Talk | contribs) (pointer to finiteness semantics) |
||
Line 13: | Line 13: | ||
** [[Categorical semantics]] |
** [[Categorical semantics]] |
||
** [[Relational semantics]] |
** [[Relational semantics]] |
||
+ | ** [[Finiteness semantics]] |
||
** [[Geometry of interaction]] |
** [[Geometry of interaction]] |
||
** [[Game semantics]] |
** [[Game semantics]] |
Revision as of 18:38, 22 May 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.