User contributions
From LLWiki
- 14:32, 26 November 2014 (diff | hist) . . (+11) . . m List of equivalences (→Multiplicatives: A is equivalent too)
- 22:50, 31 August 2012 (diff | hist) . . (+114) . . Reversibility and focalization (→Focalization: improved terminology) (current)
- 22:27, 31 August 2012 (diff | hist) . . (-108) . . Reversibility and focalization (→Generalized connectives and rules)
- 22:21, 31 August 2012 (diff | hist) . . (+208) . . m Sequent calculus (→Reversibility: mention focalization)
- 22:10, 31 August 2012 (diff | hist) . . (+15,784) . . N Reversibility and focalization (Creation)
- 15:30, 9 December 2010 (diff | hist) . . (0) . . m Sequent calculus (→Sequents and proofs)
- 11:19, 29 April 2010 (diff | hist) . . (+34) . . m Geometry of interaction (references fixed)
- 11: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)
- 11:15, 29 April 2010 (diff | hist) . . (+34) . . m Geometry of interaction (typograhic fixes, references)
- 15:43, 14 March 2009 (diff | hist) . . (+30) . . m Sequent calculus (Markup and a typo)
- 17:01, 12 March 2009 (diff | hist) . . (-14) . . m Fragment (Updated links to 'sequent calculus')
- 16:53, 12 March 2009 (diff | hist) . . (-17) . . m Positive formula (Updated the 'equivalent' link)
- 16:46, 10 March 2009 (diff | hist) . . (+2) . . Template:Proof
- 16:42, 10 March 2009 (diff | hist) . . (+65) . . Template:Proof (Trying some visual formatting)
- 16: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)
- 13:05, 7 February 2009 (diff | hist) . . (-302) . . m Sequent calculus (minor typos, markup improvement)
- 12:32, 7 February 2009 (diff | hist) . . (+215) . . Sequent calculus (→Formulas: proper definition of atoms and substitution)
- 10:30, 22 January 2009 (diff | hist) . . (+84) . . Sequent calculus (→Equivalences and definability: use \linequiv instead of \equiv)
- 17: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)
- 17:07, 21 January 2009 (diff | hist) . . (+219) . . Talk:Sequent calculus (→Quantifiers)
- 17:06, 21 January 2009 (diff | hist) . . (+22) . . Sequent calculus (→Cut elimination and consequences: definition of subformula)
- 17:12, 17 January 2009 (diff | hist) . . (-6) . . Notations (→Formulas)
- 17:10, 17 January 2009 (diff | hist) . . (+795) . . Talk:Sequent calculus (→Quantifiers)
- 17:10, 17 January 2009 (diff | hist) . . (-324) . . Sequent calculus (conventions for quantifiers)
- 15:50, 17 January 2009 (diff | hist) . . (-35) . . Sequent calculus (→Formulas: table markup)
- 15:25, 17 January 2009 (diff | hist) . . (+24) . . m Sequent calculus (markup fixes)
- 12: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 ...)
