Talk:Sequent calculus

From LLWiki
Revision as of 22:01, 25 April 2013 by Olivier Laurent (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


Equivalences might deserve a specific page (maybe merged with isomorphisms and equiprovability?).

We might imagine a page or some pages giving a collection of valid principles of linear logic (with appropriate proofs) and specifying which ones correspond to implications, equivalences or isomorphisms.

-- Olivier Laurent 10:39, 15 March 2009 (UTC)

Personal tools