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 1: / Line 1: @@
-<big>'''MediaWiki has been successfully installed.'''</big>
+== Contents ==
-Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
+* An [[introduction]] to linear logic
+* Syntax
+** [[Sequent calculus]]
+** [[Intuitionistic linear logic]]
+** [[Polarized linear logic]]
+** [[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]]
+** [[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 [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]].
+<!--
 * [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
 * [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
 * [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
+-->