Talk:Sequent calculus

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (Equivalences)
m (Equivalences: pointer to provable formulas)
Line 5: Line 5:
 
This is also redundant with the principles described in [[semantics]].
 
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.
+
We might imagine a page or some pages giving a collection of [[Provable formulas|valid principles]] of linear logic (with appropriate proofs) and specifying which ones correspond to implications, equivalences or isomorphisms.
   
 
-- [[User:Olivier Laurent|Olivier Laurent]] 10:39, 15 March 2009 (UTC)
 
-- [[User:Olivier Laurent|Olivier Laurent]] 10:39, 15 March 2009 (UTC)

Revision as of 18:35, 19 April 2012

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)

Personal tools