Main Page

Latest revision as of 03:49, 22 April 2012

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.

@@ Line 2: / Line 2: @@
 * An [[introduction]] to linear logic
-* [[Sequent calculus]]
+* Syntax
-* [[Fragments]]
+** [[Sequent calculus]]
-* [[Intuitionistic linear logic]]
+** [[Intuitionistic linear logic]]
-* Proof-nets
+** [[Polarized linear logic]]
-* Semantics
+** [[Fragment|Fragments]]
+** [[Proof-nets]]
+** [[System L]]
+** Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics
+* [[Semantics]]
+** [[Coherent semantics]]
+** [[Phase semantics]]
 ** [[Categorical semantics]]
-** [[Phase semantics]]
 ** [[Relational semantics]]
-** [[Coherent semantics]]
+** [[Finiteness semantics]]
 ** [[Geometry of interaction]]
 ** [[Game semantics]]
-* [[Translations]] of classical and intuitionistic logics
 * [[Light linear logics]]
 == Getting started ==
-Please read the [[recommendations]] before edition in this wiki.
+* 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 [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
+* Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
+* You can use the [[sandbox]] for tests.
+* [[Special:Wantedpages|Wanted pages]].
 <!--