Talk:Sequent calculus
From LLWiki
(Difference between revisions)
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)
