Main Page
From LLWiki
(Difference between revisions)
(Added a link to the "semantics" page) |
(Reorganisation of the toc following a more chronological order) |
||
| Line 2: | Line 2: | ||
* An [[introduction]] to linear logic |
* An [[introduction]] to linear logic |
||
| − | * [[Sequent calculus]] |
+ | * Syntax |
| − | * [[Fragment|Fragments]] |
+ | ** [[Sequent calculus]] |
| − | * [[Intuitionistic linear logic]] |
+ | ** [[Intuitionistic linear logic]] |
| − | * Proof-nets |
+ | ** [[Fragment|Fragments]] |
| + | ** Proof-nets |
||
| + | ** Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics |
||
* [[Semantics]] |
* [[Semantics]] |
||
| − | ** [[Categorical semantics]] |
+ | ** [[Coherent semantics]] |
** [[Phase semantics]] |
** [[Phase semantics]] |
||
| + | ** [[Categorical semantics]] |
||
** [[Relational semantics]] |
** [[Relational semantics]] |
||
| − | ** [[Coherent semantics]] |
||
** [[Geometry of interaction]] |
** [[Geometry of interaction]] |
||
** [[Game semantics]] |
** [[Game semantics]] |
||
| − | * Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics |
+ | * Implicit complexity |
| − | * [[Light linear logics]] |
+ | ** [[Light linear logics]] |
== Getting started == |
== Getting started == |
||
Revision as of 11:48, 17 March 2009
Contents
- An introduction to linear logic
- Syntax
- Sequent calculus
- Intuitionistic linear logic
- Fragments
- Proof-nets
- Translations of classical and intuitionistic logics
- Semantics
- Implicit complexity
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.
