Main Page

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (Contents: remove implicit complexity)
m (added system L)
 
(8 intermediate revisions by 4 users not shown)
Line 5: Line 5:
 
** [[Sequent calculus]]
 
** [[Sequent calculus]]
 
** [[Intuitionistic linear logic]]
 
** [[Intuitionistic linear logic]]
  +
** [[Polarized linear logic]]
 
** [[Fragment|Fragments]]
 
** [[Fragment|Fragments]]
** Proof-nets
+
** [[Proof-nets]]
  +
** [[System L]]
 
** Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics
 
** Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics
 
* [[Semantics]]
 
* [[Semantics]]
Line 13: Line 14:
 
** [[Categorical semantics]]
 
** [[Categorical semantics]]
 
** [[Relational semantics]]
 
** [[Relational semantics]]
  +
** [[Finiteness semantics]]
 
** [[Geometry of interaction]]
 
** [[Geometry of interaction]]
 
** [[Game semantics]]
 
** [[Game semantics]]
Line 19: Line 21:
 
== Getting started ==
 
== 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.
Available LaTeX macros are listed on the [[LLWiki LaTeX Style]] page.
+
* [[Special:Wantedpages|Wanted pages]].
 
You can use the [[sandbox]] for tests.
 
   
 
<!--
 
<!--

Latest revision as of 03:49, 22 April 2012

[edit] Contents

[edit] Getting started


Personal tools