Main Page
From LLWiki
(Difference between revisions)
m (→Contents: adjustments in titles) |
(→Contents: separate pages for translations of LJ and LK) |
||
| Line 13: | Line 13: | ||
** [[Geometry of interaction]] |
** [[Geometry of interaction]] |
||
** [[Game semantics]] |
** [[Game semantics]] |
||
| − | * [[Translations of classical and intuitionistic logics]] |
+ | * Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics |
* [[Light linear logics]] |
* [[Light linear logics]] |
||
Revision as of 23:32, 10 January 2009
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.
