Main Page

LLWiki http://140.77.166.78/mediawiki/index.php/Main_Page MediaWiki 1.19.20+dfsg-0+deb7u3 first-letter Media Special Talk User User talk LLWiki LLWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Main Page 0 1 jqqtlao654x93bgbtfjnb9pb63m1u0q 551 2012-04-22T02:49:44Z Pierre-Marie Pédrot 41 added system L == Contents == * 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]].