# User contributions

From LLWiki

- 15:32, 26 November 2014 (diff | hist) . . (+11) . . m List of equivalences (→Multiplicatives: A is equivalent too)
- 23:50, 31 August 2012 (diff | hist) . . (+114) . . Reversibility and focalization (→Focalization: improved terminology) (current)
- 23:27, 31 August 2012 (diff | hist) . . (-108) . . Reversibility and focalization (→Generalized connectives and rules)
- 23:21, 31 August 2012 (diff | hist) . . (+208) . . m Sequent calculus (→Reversibility: mention focalization)
- 23:10, 31 August 2012 (diff | hist) . .
**(+15,784)** . . N Reversibility and focalization (Creation) - 16:30, 9 December 2010 (diff | hist) . . (0) . . m Sequent calculus (→Sequents and proofs)
- 12:19, 29 April 2010 (diff | hist) . . (+34) . . m Geometry of interaction (references fixed)
- 12:16, 29 April 2010 (diff | hist) . . (-34) . . m Geometry of interaction (Reverted edits by Emmanuel Beffara (Talk); changed back to last version by Laurent Regnier)
- 12:15, 29 April 2010 (diff | hist) . . (+34) . . m Geometry of interaction (typograhic fixes, references)
- 16:43, 14 March 2009 (diff | hist) . . (+30) . . m Sequent calculus (Markup and a typo)
- 18:01, 12 March 2009 (diff | hist) . . (-14) . . m Fragment (Updated links to 'sequent calculus')
- 17:53, 12 March 2009 (diff | hist) . . (-17) . . m Positive formula (Updated the 'equivalent' link)
- 17:46, 10 March 2009 (diff | hist) . . (+2) . . Template:Proof
- 17:42, 10 March 2009 (diff | hist) . . (+65) . . Template:Proof (Trying some visual formatting)
- 17:30, 10 March 2009 (diff | hist) . .
**(+4,665)** . . Sequent calculus (Made the two-sided system the reference one, presenting the one-sided system as a simplification) - 14:05, 7 February 2009 (diff | hist) . . (-302) . . m Sequent calculus (minor typos, markup improvement)
- 13:32, 7 February 2009 (diff | hist) . . (+215) . . Sequent calculus (→Formulas: proper definition of atoms and substitution)
- 11:30, 22 January 2009 (diff | hist) . . (+84) . . Sequent calculus (→Equivalences and definability: use \linequiv instead of \equiv)
- 18:19, 21 January 2009 (diff | hist) . . (+58) . . N User:Emmanuel Beffara (New page: Wanna see my [http://iml.univ-mrs.fr/~beffara/ home page]?) (current)
- 18:07, 21 January 2009 (diff | hist) . . (+219) . . Talk:Sequent calculus (→Quantifiers)
- 18:06, 21 January 2009 (diff | hist) . . (+22) . . Sequent calculus (→Cut elimination and consequences: definition of subformula)
- 18:12, 17 January 2009 (diff | hist) . . (-6) . . Notations (→Formulas)
- 18:10, 17 January 2009 (diff | hist) . .
**(+795)** . . Talk:Sequent calculus (→Quantifiers) - 18:10, 17 January 2009 (diff | hist) . . (-324) . . Sequent calculus (conventions for quantifiers)
- 16:50, 17 January 2009 (diff | hist) . . (-35) . . Sequent calculus (→Formulas: table markup)
- 16:25, 17 January 2009 (diff | hist) . . (+24) . . m Sequent calculus (markup fixes)
- 13:36, 14 January 2009 (diff | hist) . .
**(+23,483)** . . N Sequent calculus (New page: This article presents the language and sequent calculus of second-order propositional linear logic and the basic properties of this sequent calculus. == Formulas == Formulas are built ...)