# Main Page

From LLWiki

(Difference between revisions)

m (+ polarized linear logic link) |
m (added system L) |
||

Line 8: | Line 8: | ||

** [[Fragment|Fragments]] |
** [[Fragment|Fragments]] |
||

** [[Proof-nets]] |
** [[Proof-nets]] |
||

+ | ** [[System L]] |
||

** 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]] |

## Latest revision as of 04:49, 22 April 2012

## [edit] Contents

- An introduction to linear logic
- Syntax
- Sequent calculus
- Intuitionistic linear logic
- Polarized linear logic
- Fragments
- Proof-nets
- System L
- Translations of classical and intuitionistic logics

- Semantics
- Light linear logics

## [edit] 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.