Main Page

Contents

• An introduction to linear logic
• Sequent calculus
• Fragments
• Intuitionistic linear logic
• Proof-nets
• Semantics
  • Categorical semantics
  • Phase semantics
  • Relational semantics
  • Coherent semantics
  • Geometry of interaction
  • Game semantics
• Translations of classical and intuitionistic logics
• Light linear logics

Getting started

Consult the User's Guide for information on using the wiki software.

• Configuration settings list
• MediaWiki FAQ
• MediaWiki release mailing list