Talk:Sequent calculus
From LLWiki
(Difference between revisions)
(→Equivalences) |
(→Equivalences: update comment) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
== Equivalences == |
== Equivalences == |
||
| − | Equivalences might deserve a specific page (maybe merged with [[isomorphim]]s and [[equiprovability]]?). |
+ | Equivalences might deserve a specific page (maybe merged with [[isomorphism]]s and [[equiprovability]]?). |
| − | This is also redundant with the principles described in [[semantics]]. |
+ | 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. |
| − | |||
| − | 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. |
||
-- [[User:Olivier Laurent|Olivier Laurent]] 10:39, 15 March 2009 (UTC) |
-- [[User:Olivier Laurent|Olivier Laurent]] 10:39, 15 March 2009 (UTC) |
||
Latest revision as of 21:01, 25 April 2013
[edit] Equivalences
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)
