Main Page

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (Getting started: typo)
(Contents: Libérez les réseaux !)
Line 6: Line 6:
 
** [[Intuitionistic linear logic]]
 
** [[Intuitionistic linear logic]]
 
** [[Fragment|Fragments]]
 
** [[Fragment|Fragments]]
** Proof-nets
+
** [[Proof-nets]]
 
** 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]]

Revision as of 16:03, 9 December 2010

Contents

Getting started


Personal tools