Main Page

Contents

• An introduction to linear logic
• Syntax
  • Sequent calculus
  • Intuitionistic linear logic
  • Fragments
  • Proof-nets
  • Translations of classical and intuitionistic logics
• Semantics
  • Coherent semantics
  • Phase semantics
  • Categorical semantics
  • Relational semantics
  • Geometry of interaction
  • Game 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.