User contributions
From LLWiki
- 22:03, 27 July 2017 (diff | hist) . . (+158) . . m List of equivalences (Correction of useless corrections) (current)
- 21:55, 27 July 2017 (diff | hist) . . (-228) . . m List of equivalences (Reverted edits by Olivier Laurent (talk) to last revision by Emmanuel Beffara)
- 12:40, 26 July 2017 (diff | hist) . . (-19) . . m List of equivalences (→Miscellaneous: LaTeX typo)
- 12:39, 26 July 2017 (diff | hist) . . (+89) . . List of equivalences (→Miscellaneous: 0 o-o !0 added)
- 10:31, 13 March 2017 (diff | hist) . . (+104) . . Intuitionistic linear logic (→The intuitionistic fragment of linear logic: Updated counter-example with 0 only) (current)
- 12:04, 9 March 2017 (diff | hist) . . (-6) . . m Intuitionistic linear logic (→The intuitionistic fragment of linear logic: typo)
- 12:10, 6 September 2016 (diff | hist) . . (+89) . . List of equivalences (→Miscellaneous: encoding of multiplicative units with atoms and exponentials)
- 13:03, 8 January 2015 (diff | hist) . . (+69) . . List of equivalences (→Multiplicatives: additional example)
- 12:42, 21 November 2014 (diff | hist) . . (+4) . . m List of equivalences (emphasis added)
- 12:39, 21 November 2014 (diff | hist) . . (+134) . . List of equivalences (→Additives: Added Emmanuel Beffara's example for multiplicatives)
- 12:26, 21 November 2014 (diff | hist) . . (+25) . . m Lattice of exponential modalities (Pointer to list of equivalences) (current)
- 15:27, 29 October 2013 (diff | hist) . . (+95) . . Provable formulas (Identites added) (current)
- 23:17, 28 October 2013 (diff | hist) . . (+456) . . Fragment (→Additive fragments: ALL added) (current)
- 23:01, 28 October 2013 (diff | hist) . . (+1,540) . . N Regular formula (Basic properties of regular formulas) (current)
- 22:31, 28 October 2013 (diff | hist) . . (+29) . . N Co-regular formula (redirection to regular formula) (current)
- 22:24, 28 October 2013 (diff | hist) . . (+739) . . N Additive cut rule (Non admissibility) (current)
- 21:31, 28 October 2013 (diff | hist) . . (-10) . . m Provable formulas (stub tag removed)
- 21:30, 28 October 2013 (diff | hist) . . (+88) . . Provable formulas (→Factorizations: exists/plus added)
- 20:36, 28 October 2013 (diff | hist) . . (0) . . m Provable formulas (Modified order of sections)
- 20:35, 28 October 2013 (diff | hist) . . (+597) . . Provable formulas (→Distributivities: added principles and commutations)
- 20:25, 28 October 2013 (diff | hist) . . (+170) . . Provable formulas (Promotion principles added)
- 20:22, 28 October 2013 (diff | hist) . . (+65) . . Provable formulas (→Factorizations: plus/par added)
- 20:21, 28 October 2013 (diff | hist) . . (+65) . . Provable formulas (→Distributivities: tens/with added)
- 20:18, 28 October 2013 (diff | hist) . . (+202) . . Provable formulas (→Monoidality of exponentials: monoidality laws for additives)
- 20:15, 28 October 2013 (diff | hist) . . (+395) . . Provable formulas (Quantifiers added)
- 20:11, 28 October 2013 (diff | hist) . . (+1) . . m Provable formulas (→Monoidality of exponential: typo)
- 20:06, 28 October 2013 (diff | hist) . . (+61) . . Provable formulas (→Additive structure: Units added)
- 19:55, 28 October 2013 (diff | hist) . . (-69) . . Provable formulas (→Monoidality of exponential: Units removed: special case of equivalence for positive/negative formula)
- 19:50, 28 October 2013 (diff | hist) . . (+2,296) . . N Negative formula (Dual version of positive formula) (current)
- 19:49, 28 October 2013 (diff | hist) . . (+23) . . m Positive formula (→Generalized structural rules: Link to wikipedia:comoind) (current)
- 19:43, 28 October 2013 (diff | hist) . . (+107) . . Positive formula (Added link to negative formulas)
- 17:02, 28 October 2013 (diff | hist) . . (+75) . . m Provable formulas (→Monoidality of exponential: Duals added)
- 16:57, 28 October 2013 (diff | hist) . . (+392) . . List of equivalences (Exponentials added)
- 16:55, 28 October 2013 (diff | hist) . . (-244) . . Provable formulas (Link to List of equivalences)
- 16:46, 28 October 2013 (diff | hist) . . (+58) . . Sequent calculus (→Equivalence: Link to List of equivalences) (current)
- 16:43, 28 October 2013 (diff | hist) . . (+1,907) . . N List of equivalences (First list of equivalences)
- 23:43, 27 October 2013 (diff | hist) . . (+615) . . List of isomorphisms (Quantifiers added) (current)
- 15:59, 27 October 2013 (diff | hist) . . (+2,766) . . N Mix (Definition and main properties of the mix rules) (current)
- 15:51, 27 June 2013 (diff | hist) . . (-7) . . m LLWiki LaTeX Style (→Proof trees: typo) (current)
- 11:28, 2 May 2013 (diff | hist) . . (-3) . . m Light linear logics (→Elementary linear logic: typo) (current)
- 22:09, 25 April 2013 (diff | hist) . . (0) . . m Provable formulas (→Monoidality of exponential: typo)
- 22:09, 25 April 2013 (diff | hist) . . (+78) . . Provable formulas (Added link to list of isomorphisms.)
- 22:05, 25 April 2013 (diff | hist) . . (-180) . . m Provable formulas (\limp instead of \longrightarrow)
- 22:01, 25 April 2013 (diff | hist) . . (-72) . . Talk:Sequent calculus (→Equivalences: update comment) (current)
- 21:59, 25 April 2013 (diff | hist) . . (-239) . . Talk:Semantics (→Page status: obsolete comment) (current)
- 21:58, 25 April 2013 (diff | hist) . . (-938) . . Semantics (Reorganized page) (current)
- 21:56, 25 April 2013 (diff | hist) . . (+942) . . Provable formulas (Added formules from Semantics page)
- 21:51, 25 April 2013 (diff | hist) . . (-1,746) . . Semantics (Removed isomorphisms)
- 21:48, 25 April 2013 (diff | hist) . . (+1,868) . . N List of isomorphisms (First list)
- 21:38, 25 April 2013 (diff | hist) . . (+1) . . Isomorphism (Link to list of isomorphisms) (current)
- 21:34, 25 April 2013 (diff | hist) . . (+32) . . m Isomorphism (notation for isomorphisms)
- 13:16, 1 September 2012 (diff | hist) . . (+137) . . Provable formulas (→Factorizations: Link to the lattice of exponential modalities added.)
- 17:24, 31 August 2012 (diff | hist) . . (+149) . . Proof-nets (Link to a formal account of nets.)
- 17:21, 31 August 2012 (diff | hist) . . (+220) . . Non provable formulas (Added some exponential cases (in relation with the Lattice of exponential modalities)) (current)
- 17:13, 31 August 2012 (diff | hist) . . (+163) . . LLWiki LaTeX Style (→Mathematical notations: Added \ping, \inner, \Inner (used for proof-nets))
- 00:05, 24 July 2012 (diff | hist) . . (+199) . . MediaWiki:Signupend (→User account: help for answering captcha added) (current)
- 21:52, 22 April 2012 (diff | hist) . . (+396) . . N Talk:System L (System L vs Polarized linear logic) (current)
- 20:49, 19 April 2012 (diff | hist) . . (+207) . . N Non provable formulas (First list of non provable formulas.)
- 20:46, 19 April 2012 (diff | hist) . . (+94) . . m Provable formulas (Link to Non provable formulas.)
- 19:42, 19 April 2012 (diff | hist) . . (+240) . . N Provable formulas (List of provable formulas just started)
- 19:35, 19 April 2012 (diff | hist) . . (+22) . . m Talk:Sequent calculus (→Equivalences: pointer to provable formulas)
- 09:13, 22 October 2011 (diff | hist) . . (-192) . . Talk:Phase semantics (→LaTeX parsing: server update moved to old version of texvc) (current)
- 09:12, 22 October 2011 (diff | hist) . . (+192) . . Talk:Phase semantics (Undo revision 541 by Olivier Laurent (Talk) wrong comment)
- 09:09, 22 October 2011 (diff | hist) . . (-192) . . Talk:Phase semantics (→LaTeX parsing: server update moved to old version of vnc)
- 09:06, 22 October 2011 (diff | hist) . . (-1) . . m Phase semantics (→Soundness: \hdots not recoginzed by texvc)
- 09:05, 22 October 2011 (diff | hist) . . (+7) . . m Phase semantics (→Soundness: typo)
- 10:28, 5 October 2011 (diff | hist) . . (+50) . . m Polarized linear logic (link to generalized structural rules) (current)
- 10:25, 5 October 2011 (diff | hist) . . (+304) . . Talk:Polarized linear logic (About the presentation of LLP with a stoup) (current)
- 10:24, 5 October 2011 (diff | hist) . . (+443) . . N Talk:Polarized linear logic (How to relate with the positive formula page)
- 10:16, 5 October 2011 (diff | hist) . . (+21) . . m Polarized linear logic (→Polarization: link to positive formula)
- 14:52, 3 October 2011 (diff | hist) . . (+280) . . N Talk:Orthogonality relation (Link with phase semantics) (current)
- 14:37, 15 March 2011 (diff | hist) . . (+4) . . m Talk:Coherent semantics (→Mix rule) (current)
- 15:49, 14 March 2011 (diff | hist) . . (+4) . . m Coherent semantics (→Multiplicative neutrals and the mix rule: link to "Mix" page added)
- 17:09, 21 February 2011 (diff | hist) . . (+304) . . Sequent calculus (→Variations: Mix)
- 17:03, 21 February 2011 (diff | hist) . . (+1,738) . . Lattice of exponential modalities (Proof sketches)
- 16:19, 21 February 2011 (diff | hist) . . (+2) . . m Lattice of exponential modalities (typo)
- 13:41, 21 February 2011 (diff | hist) . . (-125) . . m Lattice of exponential modalities (Typo: same lemma twice)
- 13:39, 21 February 2011 (diff | hist) . . (+2,441) . . Lattice of exponential modalities (First complete description of this lattice (and can ingredients for the proof))
- 14:58, 17 February 2011 (diff | hist) . . (+62) . . m MediaWiki:Signupend (Warnings added)
- 14:55, 17 February 2011 (diff | hist) . . (+28) . . m MediaWiki:Signupend (To appear on the left)
- 14:48, 17 February 2011 (diff | hist) . . (+6) . . m MediaWiki:Signupend (Linebreak at beginning)
- 14:41, 17 February 2011 (diff | hist) . . (+11) . . m MediaWiki:Signupend (Remove table of contents)
- 14:38, 17 February 2011 (diff | hist) . . (+298) . . MediaWiki:Signupend (Rights and licence)
- 13:15, 17 February 2011 (diff | hist) . . (0) . . m Terms of use (Protected "Terms of use": Administrative page [edit=sysop:move=sysop]) (current)
- 13:14, 17 February 2011 (diff | hist) . . (+716) . . N Terms of use (English version of the document concerning rights and licence)
- 13:13, 17 February 2011 (diff | hist) . . (0) . . m Conditions d'utilisation (Protected "Conditions d'utilisation": Administrative page [edit=sysop:move=sysop]) (current)
- 13:13, 17 February 2011 (diff | hist) . . (+2,133) . . N Conditions d'utilisation (Official French document concerning rights and licence)
- 13:11, 17 February 2011 (diff | hist) . . (0) . . m Precedence of French terms (Protected "Precedence of French terms": Administrative page [edit=sysop:move=sysop]) (current)
- 13:10, 17 February 2011 (diff | hist) . . (+304) . . N Precedence of French terms (Warning about French vs English)
- 13:09, 17 February 2011 (diff | hist) . . (0) . . m Information for contributors (Protected "Information for contributors": Administrative page [edit=sysop:move=sysop]) (current)
- 13:08, 17 February 2011 (diff | hist) . . (+893) . . N Information for contributors (Basic informations about licence)
- 20:17, 15 February 2011 (diff | hist) . . (0) . . m Editorial board (Protected "Editorial board": Administrative page [edit=sysop:move=sysop]) (current)
- 20:16, 15 February 2011 (diff | hist) . . (+646) . . N Editorial board (Composition and rules for the editorial board)
- 13:35, 26 April 2010 (diff | hist) . . (+1) . . m Geometry of interaction (→The Geometry of Interaction as operators: typo)
- 15:41, 21 April 2010 (diff | hist) . . (+222) . . LLWiki LaTeX Style (→Mathematical notations: added: limpinv, nlimp, nlimpinv, nlinequiv)
- 15:31, 21 April 2010 (diff | hist) . . (-8) . . m Geometry of interaction (→Contraposition: update macro)
- 14:36, 20 April 2010 (diff | hist) . . (0) . . m Geometry of interaction (→The idendity: typo in the title of the section)
- 10:49, 19 October 2009 (diff | hist) . . (+158) . . N Talk:Isomorphism (Semantics page) (current)
- 10:48, 19 October 2009 (diff | hist) . . (+63) . . Notations (→Miscellaneous: isomorphism added)
- 10:45, 19 October 2009 (diff | hist) . . (+36) . . m Semantics (notation for isomorphismes \cong instead of \sim)
- 10:42, 19 October 2009 (diff | hist) . . (+239) . . N Talk:Semantics (Page status)
- 23:28, 16 October 2009 (diff | hist) . . (+10) . . m Lattice of exponential modalities (declared as stub)
- 22:48, 12 October 2009 (diff | hist) . . (+32) . . N Coherent spaces (Redirect to 'Coherent semantics') (current)
- 22:47, 12 October 2009 (diff | hist) . . (+4) . . m Notations (→Coherent spaces: link to the 'coherent spaces' page)
- 15:18, 12 October 2009 (diff | hist) . . (+66) . . N MediaWiki:Signupend (Pointer to recommandations)
- 23:27, 11 October 2009 (diff | hist) . . (+9) . . Todo List (→Wiki: accept logo + favicon done) (current)
- 23:37, 5 October 2009 (diff | hist) . . (+207) . . N Lattice of exponential modalities (lattice drawing only)
- 23:11, 5 October 2009 (diff | hist) . . (+10,798) . . Translations of classical logic (Q-translation added) (current)
- 22:25, 5 October 2009 (diff | hist) . . (+279) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)}: T L rule) (current)
- 22:08, 5 October 2009 (diff | hist) . . (+4) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)}: typos)
- 22:07, 5 October 2009 (diff | hist) . . (+6) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)}: typos)
- 22:05, 5 October 2009 (diff | hist) . . (+2) . . m Translations of intuitionistic logic (→Call-by-name Girard's translation A\imp B \mapsto \oc{A}\limp B: typo)
- 23:04, 21 September 2009 (diff | hist) . . (+11,928) . . N Translations of classical logic (T-translation)
- 23:28, 16 July 2009 (diff | hist) . . (+80) . . m Positive formula (→Generalized structural rules: with \VdotsRule)
- 10:29, 12 June 2009 (diff | hist) . . (-1) . . m Main Page (→Getting started: typo)
- 19:25, 10 June 2009 (diff | hist) . . (+76) . . Recommendations (→Proofs: \VdotsRule added)
- 19:24, 10 June 2009 (diff | hist) . . (+38) . . LLWiki LaTeX Style (→Proof trees: \VdotsRule added)
- 19:23, 10 June 2009 (diff | hist) . . (+232) . . LLWiki LaTeX Style (→Mathematical notations: \powerset,... added)
- 23:48, 25 May 2009 (diff | hist) . . (+7) . . m Finiteness semantics (→Additives: formatting)
- 23:43, 25 May 2009 (diff | hist) . . (-163) . . m Finiteness semantics (→Multiplicatives: formatting)
- 22:42, 24 May 2009 (diff | hist) . . (-12) . . m Relational semantics (→Interpretation of first order propositional linear logic (LL_0): no first order here)
- 00:41, 25 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)})
- 00:40, 25 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)})
- 00:39, 25 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)})
- 00:38, 25 March 2009 (diff | hist) . . (-4) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)})
- 15:26, 24 March 2009 (diff | hist) . . (-96) . . Main Page (→Getting started)
- 22:40, 19 March 2009 (diff | hist) . . (+495) . . Sequent calculus (→Exponential rules: multiplexing)
- 22:28, 19 March 2009 (diff | hist) . . (+352) . . N Talk:Light linear logics (Computational complexity) (current)
- 22:22, 19 March 2009 (diff | hist) . . (+38) . . m Light linear logics (→Soft linear logic: explicit mention of multi-functoriality)
- 22:19, 19 March 2009 (diff | hist) . . (+35) . . m Light linear logics (→Light linear logic: explicit mention of functoriality)
- 22:16, 19 March 2009 (diff | hist) . . (+27) . . m Light linear logics (→Elementary linear logic: explicit mention of multi-functoriality)
- 22:14, 19 March 2009 (diff | hist) . . (-23) . . m Main Page (→Contents: remove implicit complexity)
- 22:05, 19 March 2009 (diff | hist) . . (+805) . . Sequent calculus (→Variations: multi-fonctorial promotion and digging)
- 21:39, 19 March 2009 (diff | hist) . . (+104) . . m Sequent calculus (→Sequents and proofs: additional context in promotion rules)
- 12:51, 15 March 2009 (diff | hist) . . (+66) . . Semantics (→Additive structure: diagonal)
- 12:39, 15 March 2009 (diff | hist) . . (+277) . . Talk:Sequent calculus (→Equivalences)
- 17:47, 14 March 2009 (diff | hist) . . (+196) . . Talk:Sequent calculus (→Equivalences: new section)
- 17:46, 14 March 2009 (diff | hist) . . (-829) . . Talk:Sequent calculus (→Two-sided sequent calculus: closed topic)
- 17:45, 14 March 2009 (diff | hist) . . (-1,645) . . Talk:Sequent calculus (→Quantifiers: closed topic)
- 17:39, 14 March 2009 (diff | hist) . . (+84) . . m Sequent calculus (→Fundamental equivalences: pointer to the lattice of exponential modalities)
- 15:31, 14 March 2009 (diff | hist) . . (+3) . . m Talk:Positive formula (→Negative formula: signature syntax) (current)
- 15:29, 14 March 2009 (diff | hist) . . (+2) . . m Talk:Coherent semantics (signature syntax)
- 15:21, 14 March 2009 (diff | hist) . . (-448) . . Talk:Coherent semantics (→Main properties: closed topic)
- 14:10, 14 March 2009 (diff | hist) . . (+176) . . Talk:Coherent semantics (→Mix rule: new section)
- 00:12, 9 March 2009 (diff | hist) . . (+367) . . N Talk:Positive formula (Negative formula)
- 00:07, 9 March 2009 (diff | hist) . . (+1) . . m Talk:Coherent semantics (→Main properties: typo)
- 18:03, 6 March 2009 (diff | hist) . . (+90) . . Coherent semantics (→Main properties: more unit cases)
- 16:58, 6 March 2009 (diff | hist) . . (+4,980) . . N Positive formula (New page: A ''positive formula'' is a formula <math>P</math> such that <math>P\limp\oc P</math> (thus a coalgebra for the comonad <math>\oc</math>). A...)
- 16:46, 6 March 2009 (diff | hist) . . (+4) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)}: modified rule names)
- 22:21, 5 March 2009 (diff | hist) . . (+310) . . Talk:Coherent semantics (→Main properties: new section)
- 14:57, 22 February 2009 (diff | hist) . . (+269) . . N Talk:Coherent semantics (linear logical relations)
- 14:53, 22 February 2009 (diff | hist) . . (+4) . . m Coherent semantics (→The cartesian closed structure of coherent semantics: link to phase semantics added)
- 14:52, 22 February 2009 (diff | hist) . . (+1) . . m Coherent semantics (→CLiqued space: typos)
- 00:19, 13 February 2009 (diff | hist) . . (+7) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)}: use of \rulename)
- 00:17, 13 February 2009 (diff | hist) . . (+7) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)}: use of \rulename)
- 00:15, 13 February 2009 (diff | hist) . . (+19) . . m Translations of intuitionistic logic (→Call-by-name Girard's translation A\imp B \mapsto \oc{A}\limp B: use of \rulename)
- 00:11, 13 February 2009 (diff | hist) . . (+33) . . m Sequent calculus (→Sequents and proofs: use of \rulename)
- 00:10, 13 February 2009 (diff | hist) . . (+22) . . m Sequent calculus (→Two-sided sequent calculus: use of \rulename)
- 00:07, 13 February 2009 (diff | hist) . . (+4) . . m Intuitionistic linear logic (→Input / output polarities: use of \rulename)
- 00:06, 13 February 2009 (diff | hist) . . (+2) . . m Intuitionistic linear logic (→The intuitionistic fragment of linear logic: use of \rulename)
- 00:04, 13 February 2009 (diff | hist) . . (+4) . . m Intuitionistic linear logic (→Sequent Calculus: use of \rulename)
- 00:03, 13 February 2009 (diff | hist) . . (+32) . . m Recommendations (→Set of rules: use of \rulename)
- 00:01, 13 February 2009 (diff | hist) . . (+4) . . m Recommendations (→Proofs: use of \rulename)
- 15:01, 11 February 2009 (diff | hist) . . (+24) . . m Phase semantics (Correction of the sectionning level)
- 23:17, 8 February 2009 (diff | hist) . . (+2) . . m Recommendations (→User account: typos)
- 23:15, 8 February 2009 (diff | hist) . . (+194) . . Recommendations (→Notations: Conventions added)
- 17:09, 8 February 2009 (diff | hist) . . (-1) . . m Coherent semantics (→Stable functions: typo)
- 17:05, 8 February 2009 (diff | hist) . . (+24) . . m Coherent semantics (→As domains: typo)
- 17:02, 8 February 2009 (diff | hist) . . (+264) . . m Coherent semantics (Bibliographic reference for ''System F 15 years later'' added)
- 16:32, 8 February 2009 (diff | hist) . . (-28) . . m Phase semantics (→Phase Semantics: systematic use of \Bot)
- 16:30, 8 February 2009 (diff | hist) . . (+90) . . LLWiki LaTeX Style (→Mathematical notations: \Bot and \Perp added)
- 16:16, 8 February 2009 (diff | hist) . . (-16) . . m Phase semantics (→Phase Semantics: systematic use of \orth and \biorth)
- 16:12, 8 February 2009 (diff | hist) . . (+100) . . LLWiki LaTeX Style (→Mathematical notations: \biorth and \triorth added)
- 16:00, 8 February 2009 (diff | hist) . . (-7) . . m Phase semantics (Template:Remark for remarks)
- 15:52, 8 February 2009 (diff | hist) . . (+111) . . Recommendations (→Definitions and theorems: Remark added)
- 15:48, 8 February 2009 (diff | hist) . . (+27) . . N Template:Remark (Template for remarks)
- 15:48, 8 February 2009 (diff | hist) . . (0) . . m Phase semantics (→Relations and operators on subsets: typo)
- 15:35, 8 February 2009 (diff | hist) . . (+29) . . m Sequent calculus (typos and pointers)
- 19:35, 3 February 2009 (diff | hist) . . (0) . . m Game semantics (→Strategies: typos) (current)
- 23:51, 2 February 2009 (diff | hist) . . (+18,544) . . N Translations of intuitionistic logic (Definitions of three translations)
- 22:07, 21 January 2009 (diff | hist) . . (+110) . . LLWiki LaTeX Style (→Mathematical notations: \linequiv and \set added)
- 00:10, 19 January 2009 (diff | hist) . . (+120) . . Sequent calculus (→Equivalences and definability: isomorphism and equiprovability)
- 00:06, 19 January 2009 (diff | hist) . . (+374) . . N Equiprovability (basic cases) (current)
- 13:29, 18 January 2009 (diff | hist) . . (+80) . . LLWiki:About (email contact) (current)
- 22:52, 17 January 2009 (diff | hist) . . (-51) . . m Intuitionistic linear logic (\alpha -> \xi)
- 19:13, 17 January 2009 (diff | hist) . . (-2) . . m Talk:Sequent calculus (→Quantifiers: indentation)
- 23:34, 15 January 2009 (diff | hist) . . (+831) . . Talk:Sequent calculus (→Two-sided sequent calculus: new section)
- 23:22, 15 January 2009 (diff | hist) . . (+1) . . m Sequent calculus (→Reversibility: typo)
- 12:11, 15 January 2009 (diff | hist) . . (+205) . . Sequent calculus (→Equivalences and definability: Additional equivalences)
- 00:04, 15 January 2009 (diff | hist) . . (+77) . . Talk:Sequent calculus (→Quantifiers: subformula of <math>\forall X A</math>)
- 00:02, 15 January 2009 (diff | hist) . . (+1) . . m Sequent calculus (→Cut elimination and consequences: typos)
- 23:47, 14 January 2009 (diff | hist) . . (+98) . . Sequent calculus (→Fundamental equivalences: commutation of quantifiers with tensor)
- 20:37, 14 January 2009 (diff | hist) . . (+554) . . N Talk:Sequent calculus (Dealing with quantifiers)
- 20:35, 14 January 2009 (diff | hist) . . (-2) . . m Sequent calculus (→Equivalences and definability: typo)
- 23:31, 12 January 2009 (diff | hist) . . (+6) . . m Recommendations (→Set of rules: <br /> instead of <br>)
- 21:51, 11 January 2009 (diff | hist) . . (+3,879) . . Intuitionistic linear logic (input/output polarities)
- 21:46, 11 January 2009 (diff | hist) . . (+664) . . Intuitionistic linear logic (→The intuitionistic fragment of linear logic: refined statements)
- 21:42, 11 January 2009 (diff | hist) . . (+73) . . N Help:Editing (pointers to notations and recommendations) (current)
- 18:13, 11 January 2009 (diff | hist) . . (+82) . . m Todo List (→Templates: bibliography: proposal of Extension:Bibtexio)
- 18:10, 11 January 2009 (diff | hist) . . (+64) . . Todo List (→Wiki: favicon)
- 17:45, 11 January 2009 (diff | hist) . . (+33) . . LLWiki:About (→References: with Template:BibEntry)
- 17:43, 11 January 2009 (diff | hist) . . (-1) . . m Template:BibEntry (typo ".") (current)
- 17:41, 11 January 2009 (diff | hist) . . (-11) . . Template:BibEntry (without linebreaks)
- 17:35, 11 January 2009 (diff | hist) . . (+771) . . N Template:BibEntry (naive version ignoring "bibtype" entry)
- 17:19, 11 January 2009 (diff | hist) . . (+121) . . Todo List (→Templates: bibliography)
- 00:32, 11 January 2009 (diff | hist) . . (+73) . . Main Page (→Contents: separate pages for translations of LJ and LK)
- 00:30, 11 January 2009 (diff | hist) . . (+71) . . Notations (→Rule names: implicit R for one-sided)
- 23:03, 7 January 2009 (diff | hist) . . (+4,880) . . N Intuitionistic linear logic (Definition of ILL and embedding into LL (two-sided presentation))
- 22:25, 7 January 2009 (diff | hist) . . (+8) . . m Main Page (→Contents: adjustments in titles)
- 20:51, 7 January 2009 (diff | hist) . . (+122) . . Notations (→Formulas: substitutions)
- 20:45, 7 January 2009 (diff | hist) . . (+1,163) . . Recommendations (formating of groups of rules)
- 16:55, 29 December 2008 (diff | hist) . . (+225) . . Todo List (footer)
- 16:49, 29 December 2008 (diff | hist) . . (+229) . . N Help:Contents (first list of pointers) (current)
- 16:40, 29 December 2008 (diff | hist) . . (+221) . . Todo List (sidebar)
- 16:32, 29 December 2008 (diff | hist) . . (-40) . . MediaWiki:Sidebar (current)
- 16:32, 29 December 2008 (diff | hist) . . (-65) . . MediaWiki:Sidebar
- 16:29, 29 December 2008 (diff | hist) . . (+541) . . N LLWiki:About (short project description)
- 16:04, 29 December 2008 (diff | hist) . . (+219) . . N MediaWiki:Sidebar (comments for unused features of the sidebar)
- 15:23, 29 December 2008 (diff | hist) . . (+1,769) . . N Notations (first set of notations)
- 13:17, 29 December 2008 (diff | hist) . . (0) . . m Recommendations (typo)
- 13:16, 29 December 2008 (diff | hist) . . (+192) . . Recommendations (notations)
- 19:38, 28 December 2008 (diff | hist) . . (+120) . . Todo List (first version of sandbox done)
- 19:27, 28 December 2008 (diff | hist) . . (-6) . . Sandbox
- 19:25, 28 December 2008 (diff | hist) . . (+42) . . Template:Sandbox (corrected reset link) (current)
- 19:20, 28 December 2008 (diff | hist) . . (+6) . . Sandbox
- 19:20, 28 December 2008 (diff | hist) . . (+207) . . N Template:Sandbox (Template for sandbox with reset feature)
- 19:17, 28 December 2008 (diff | hist) . . (+42) . . N Sandbox (sandbox based on template for reset)
- 19:15, 28 December 2008 (diff | hist) . . (+40) . . Main Page (link to sandbox)
- 18:51, 28 December 2008 (diff | hist) . . (+112) . . N User:Olivier Laurent (link to home page) (current)
- 18:26, 28 December 2008 (diff | hist) . . (+75) . . Main Page
- 18:20, 28 December 2008 (diff | hist) . . (-124) . . Todo List (empty title in Template:Environment : done)
- 18:18, 28 December 2008 (diff | hist) . . (+711) . . Recommendations (use template for theorems)
- 18:05, 28 December 2008 (diff | hist) . . (+108) . . Template:Proposition (propagate empty title) (current)
- 18:04, 28 December 2008 (diff | hist) . . (+43) . . Template:Theorem (propagate empty title again) (current)
- 18:03, 28 December 2008 (diff | hist) . . (+61) . . Template:Theorem (propagate empty title)
- 18:01, 28 December 2008 (diff | hist) . . (+102) . . Template:Lemma (propagate empty title) (current)
- 18:00, 28 December 2008 (diff | hist) . . (+106) . . Template:Corollary (propagate empty title) (current)
- 17:58, 28 December 2008 (diff | hist) . . (+12) . . m Template:Definition (current)
- 17:57, 28 December 2008 (diff | hist) . . (+12) . . m Template:Environment
- 17:56, 28 December 2008 (diff | hist) . . (+1) . . m Template:Definition
- 17:56, 28 December 2008 (diff | hist) . . (+47) . . Template:Definition (propagate undefined title again)
- 17:50, 28 December 2008 (diff | hist) . . (+47) . . Template:Definition (propagate undefined title)
- 17:47, 28 December 2008 (diff | hist) . . (+11) . . Template:Environment (test definedness of title instead of emptyness)
- 17:42, 28 December 2008 (diff | hist) . . (+35) . . Template:Environment (deal with empty title)
- 17:13, 28 December 2008 (diff | hist) . . (+1,204) . . N LLWiki LaTeX Style (list of macros from llwiki.sty v0.2)
- 16:57, 28 December 2008 (diff | hist) . . (+928) . . Recommendations (Mathematical typesetting)
- 14:19, 28 December 2008 (diff | hist) . . (0) . . m Todo List
- 22:23, 19 December 2008 (diff | hist) . . (+11) . . m MediaWiki:Loginprompt (current)
- 11:55, 19 December 2008 (diff | hist) . . (+33) . . Todo List (doc for Templates)
- 11:32, 19 December 2008 (diff | hist) . . (+44) . . Todo List (required wiki features)
- 11:31, 19 December 2008 (diff | hist) . . (+140) . . N Todo List (empty title in Template:Environment)
- 11:26, 19 December 2008 (diff | hist) . . (+35) . . Template:Proof (content inside)
- 11:23, 19 December 2008 (diff | hist) . . (+31) . . Template:Corollary (content inside)
- 11:22, 19 December 2008 (diff | hist) . . (+31) . . Template:Lemma (content inside)
- 11:21, 19 December 2008 (diff | hist) . . (+31) . . Template:Proposition (content inside)
- 11:21, 19 December 2008 (diff | hist) . . (-3) . . m Template:Theorem
- 11:20, 19 December 2008 (diff | hist) . . (+34) . . Template:Theorem (content inside)
- 11:20, 19 December 2008 (diff | hist) . . (+31) . . Template:Definition (content inside)
- 11:19, 19 December 2008 (diff | hist) . . (+27) . . Template:Environment (content as parameter, named parameters)
- 11:02, 19 December 2008 (diff | hist) . . (+16) . . N Template:Proof (New page: ''Proof:''<br />)
- 11:01, 19 December 2008 (diff | hist) . . (+33) . . N Template:Corollary (New page: {{Environment|Corollary|{{{1}}}}})
- 11:00, 19 December 2008 (diff | hist) . . (+35) . . N Template:Proposition (New page: {{Environment|Proposition|{{{1}}}}})
- 11:00, 19 December 2008 (diff | hist) . . (-5) . . m Template:Lemma
- 11:00, 19 December 2008 (diff | hist) . . (+34) . . N Template:Lemma (New page: {{Environment|Definition|{{{1}}}}})
- 10:59, 19 December 2008 (diff | hist) . . (+31) . . N Template:Theorem (New page: {{Environment|Theorem|{{{1}}}}})
- 01:36, 19 December 2008 (diff | hist) . . (+87) . . N Recommendations (recommendation for username)
- 01:33, 19 December 2008 (diff | hist) . . (+124) . . N MediaWiki:Loginprompt (Pointer to recommendations)
- 01:28, 19 December 2008 (diff | hist) . . (+2) . . Template:Definition (use Template:Environment)
- 01:27, 19 December 2008 (diff | hist) . . (+29) . . N Template:Environment (generic template for theorem-like environments)
- 01:24, 19 December 2008 (diff | hist) . . (+32) . . N Template:Definition (New page: '''Definition''' ({{{1}}})<br />)
- 00:31, 18 December 2008 (diff | hist) . . (+336) . . Main Page (Preliminary table of contents)