Main Page

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
  • Coherent semantics
  • Phase semantics
  • Categorical semantics
  • Relational semantics
  • Finiteness semantics
  • Geometry of interaction
  • Game semantics
• Light linear logics

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.