User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 20:34, 25 April 2013 (diff | hist) . . (+32) . . m Isomorphism (notation for isomorphisms)
- 12:16, 1 September 2012 (diff | hist) . . (+137) . . Provable formulas (→Factorizations: Link to the lattice of exponential modalities added.)
- 16:24, 31 August 2012 (diff | hist) . . (+149) . . Proof-nets (Link to a formal account of nets.)
- 16:21, 31 August 2012 (diff | hist) . . (+220) . . Non provable formulas (Added some exponential cases (in relation with the Lattice of exponential modalities)) (current)
- 16:13, 31 August 2012 (diff | hist) . . (+163) . . LLWiki LaTeX Style (→Mathematical notations: Added \ping, \inner, \Inner (used for proof-nets))
- 23:05, 23 July 2012 (diff | hist) . . (+199) . . MediaWiki:Signupend (→User account: help for answering captcha added) (current)
- 20:52, 22 April 2012 (diff | hist) . . (+396) . . N Talk:System L (System L vs Polarized linear logic) (current)
- 19:49, 19 April 2012 (diff | hist) . . (+207) . . N Non provable formulas (First list of non provable formulas.)
- 19:46, 19 April 2012 (diff | hist) . . (+94) . . m Provable formulas (Link to Non provable formulas.)
- 18:42, 19 April 2012 (diff | hist) . . (+240) . . N Provable formulas (List of provable formulas just started)
- 18:35, 19 April 2012 (diff | hist) . . (+22) . . m Talk:Sequent calculus (→Equivalences: pointer to provable formulas)
- 08:13, 22 October 2011 (diff | hist) . . (-192) . . Talk:Phase semantics (→LaTeX parsing: server update moved to old version of texvc) (current)
- 08:12, 22 October 2011 (diff | hist) . . (+192) . . Talk:Phase semantics (Undo revision 541 by Olivier Laurent (Talk) wrong comment)
- 08:09, 22 October 2011 (diff | hist) . . (-192) . . Talk:Phase semantics (→LaTeX parsing: server update moved to old version of vnc)
- 08:06, 22 October 2011 (diff | hist) . . (-1) . . m Phase semantics (→Soundness: \hdots not recoginzed by texvc)
- 08:05, 22 October 2011 (diff | hist) . . (+7) . . m Phase semantics (→Soundness: typo)
- 09:28, 5 October 2011 (diff | hist) . . (+50) . . m Polarized linear logic (link to generalized structural rules) (current)
- 09:25, 5 October 2011 (diff | hist) . . (+304) . . Talk:Polarized linear logic (About the presentation of LLP with a stoup) (current)
- 09:24, 5 October 2011 (diff | hist) . . (+443) . . N Talk:Polarized linear logic (How to relate with the positive formula page)
- 09:16, 5 October 2011 (diff | hist) . . (+21) . . m Polarized linear logic (→Polarization: link to positive formula)
- 13:52, 3 October 2011 (diff | hist) . . (+280) . . N Talk:Orthogonality relation (Link with phase semantics) (current)
- 13:37, 15 March 2011 (diff | hist) . . (+4) . . m Talk:Coherent semantics (→Mix rule) (current)
- 14:49, 14 March 2011 (diff | hist) . . (+4) . . m Coherent semantics (→Multiplicative neutrals and the mix rule: link to "Mix" page added)
- 16:09, 21 February 2011 (diff | hist) . . (+304) . . Sequent calculus (→Variations: Mix)
- 16:03, 21 February 2011 (diff | hist) . . (+1,738) . . Lattice of exponential modalities (Proof sketches)
- 15:19, 21 February 2011 (diff | hist) . . (+2) . . m Lattice of exponential modalities (typo)
- 12:41, 21 February 2011 (diff | hist) . . (-125) . . m Lattice of exponential modalities (Typo: same lemma twice)
- 12:39, 21 February 2011 (diff | hist) . . (+2,441) . . Lattice of exponential modalities (First complete description of this lattice (and can ingredients for the proof))
- 13:58, 17 February 2011 (diff | hist) . . (+62) . . m MediaWiki:Signupend (Warnings added)
- 13:55, 17 February 2011 (diff | hist) . . (+28) . . m MediaWiki:Signupend (To appear on the left)
- 13:48, 17 February 2011 (diff | hist) . . (+6) . . m MediaWiki:Signupend (Linebreak at beginning)
- 13:41, 17 February 2011 (diff | hist) . . (+11) . . m MediaWiki:Signupend (Remove table of contents)
- 13:38, 17 February 2011 (diff | hist) . . (+298) . . MediaWiki:Signupend (Rights and licence)
- 12:15, 17 February 2011 (diff | hist) . . (0) . . m Terms of use (Protected "Terms of use": Administrative page [edit=sysop:move=sysop]) (current)
- 12:14, 17 February 2011 (diff | hist) . . (+716) . . N Terms of use (English version of the document concerning rights and licence)
- 12:13, 17 February 2011 (diff | hist) . . (0) . . m Conditions d'utilisation (Protected "Conditions d'utilisation": Administrative page [edit=sysop:move=sysop]) (current)
- 12:13, 17 February 2011 (diff | hist) . . (+2,133) . . N Conditions d'utilisation (Official French document concerning rights and licence)
- 12:11, 17 February 2011 (diff | hist) . . (0) . . m Precedence of French terms (Protected "Precedence of French terms": Administrative page [edit=sysop:move=sysop]) (current)
- 12:10, 17 February 2011 (diff | hist) . . (+304) . . N Precedence of French terms (Warning about French vs English)
- 12:09, 17 February 2011 (diff | hist) . . (0) . . m Information for contributors (Protected "Information for contributors": Administrative page [edit=sysop:move=sysop]) (current)
- 12:08, 17 February 2011 (diff | hist) . . (+893) . . N Information for contributors (Basic informations about licence)
- 19:17, 15 February 2011 (diff | hist) . . (0) . . m Editorial board (Protected "Editorial board": Administrative page [edit=sysop:move=sysop]) (current)
- 19:16, 15 February 2011 (diff | hist) . . (+646) . . N Editorial board (Composition and rules for the editorial board)
- 12:35, 26 April 2010 (diff | hist) . . (+1) . . m Geometry of interaction (→The Geometry of Interaction as operators: typo)
- 14:41, 21 April 2010 (diff | hist) . . (+222) . . LLWiki LaTeX Style (→Mathematical notations: added: limpinv, nlimp, nlimpinv, nlinequiv)
- 14:31, 21 April 2010 (diff | hist) . . (-8) . . m Geometry of interaction (→Contraposition: update macro)
- 13:36, 20 April 2010 (diff | hist) . . (0) . . m Geometry of interaction (→The idendity: typo in the title of the section)
- 09:49, 19 October 2009 (diff | hist) . . (+158) . . N Talk:Isomorphism (Semantics page) (current)
- 09:48, 19 October 2009 (diff | hist) . . (+63) . . Notations (→Miscellaneous: isomorphism added)
- 09:45, 19 October 2009 (diff | hist) . . (+36) . . m Semantics (notation for isomorphismes \cong instead of \sim)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
