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.
• Wanted pages.