Talk:Sequent calculus

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(Two-sided sequent calculus: closed topic)
(Equivalences: update comment)
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
  +
== Equivalences ==
  +
  +
Equivalences might deserve a specific page (maybe merged with [[isomorphism]]s and [[equiprovability]]?).
  +
  +
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)

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)

Personal tools