Main Page

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (+ polarized linear logic link)
m (added system L)
 
Line 8: Line 8:
 
** [[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]]

Latest revision as of 03:49, 22 April 2012

[edit] Contents

[edit] Getting started


Personal tools