Talk:Sequent calculus
From LLWiki
Revision as of 19:55, 23 March 2009 by Samuel Mimram (Talk | contribs)
Equivalences
Equivalences might deserve a specific page (maybe merged with isomorphisms and equiprovability?).
This is also redundant with the principles described in semantics.
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)
