Talk:Sequent calculus
From LLWiki
(Difference between revisions)
(→Two-sided sequent calculus: closed topic) |
(→Equivalences: new section) |
||
| Line 1: | Line 1: | ||
| + | == Equivalences == |
||
| + | |||
| + | Equivalences might deserve a specific page (maybe merged with [[isomorphim]]s and [[equiprovability]]?). |
||
| + | |||
| + | -- [[User:Olivier Laurent|Olivier Laurent]] 15:47, 14 March 2009 (UTC) |
||
Revision as of 16:47, 14 March 2009
Equivalences
Equivalences might deserve a specific page (maybe merged with isomorphims and equiprovability?).
-- Olivier Laurent 15:47, 14 March 2009 (UTC)
