Main Page

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (Getting started: typo)
m (added system L)
 
(2 intermediate revisions by 2 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]]

Latest revision as of 03:49, 22 April 2012

[edit] Contents

[edit] Getting started


Personal tools