User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:42, 19 October 2009 (diff | hist) . . (+239) . . N Talk:Semantics (Page status)
- 22:28, 16 October 2009 (diff | hist) . . (+10) . . m Lattice of exponential modalities (declared as stub)
- 21:48, 12 October 2009 (diff | hist) . . (+32) . . N Coherent spaces (Redirect to 'Coherent semantics') (current)
- 21:47, 12 October 2009 (diff | hist) . . (+4) . . m Notations (→Coherent spaces: link to the 'coherent spaces' page)
- 14:18, 12 October 2009 (diff | hist) . . (+66) . . N MediaWiki:Signupend (Pointer to recommandations)
- 22:27, 11 October 2009 (diff | hist) . . (+9) . . Todo List (→Wiki: accept logo + favicon done) (current)
- 22:37, 5 October 2009 (diff | hist) . . (+207) . . N Lattice of exponential modalities (lattice drawing only)
- 22:11, 5 October 2009 (diff | hist) . . (+10,798) . . Translations of classical logic (Q-translation added) (current)
- 21: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)
- 21: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)
- 21: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)
- 21: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)
- 22:04, 21 September 2009 (diff | hist) . . (+11,928) . . N Translations of classical logic (T-translation)
- 22:28, 16 July 2009 (diff | hist) . . (+80) . . m Positive formula (→Generalized structural rules: with \VdotsRule)
- 09:29, 12 June 2009 (diff | hist) . . (-1) . . m Main Page (→Getting started: typo)
- 18:25, 10 June 2009 (diff | hist) . . (+76) . . Recommendations (→Proofs: \VdotsRule added)
- 18:24, 10 June 2009 (diff | hist) . . (+38) . . LLWiki LaTeX Style (→Proof trees: \VdotsRule added)
- 18:23, 10 June 2009 (diff | hist) . . (+232) . . LLWiki LaTeX Style (→Mathematical notations: \powerset,... added)
- 22:48, 25 May 2009 (diff | hist) . . (+7) . . m Finiteness semantics (→Additives: formatting)
- 22:43, 25 May 2009 (diff | hist) . . (-163) . . m Finiteness semantics (→Multiplicatives: formatting)
- 21:42, 24 May 2009 (diff | hist) . . (-12) . . m Relational semantics (→Interpretation of first order propositional linear logic (LL_0): no first order here)
- 23:41, 24 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)})
- 23:40, 24 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)})
- 23:39, 24 March 2009 (diff | hist) . . (-2) . . m Translations of intuitionistic logic (→Call-by-value Girard's translation A\imp B \mapsto \oc{(A\limp B)})
- 23:38, 24 March 2009 (diff | hist) . . (-4) . . m Translations of intuitionistic logic (→Call-by-value translation A\imp B \mapsto \oc{(A\limp B)})
- 14:26, 24 March 2009 (diff | hist) . . (-96) . . Main Page (→Getting started)
- 21:40, 19 March 2009 (diff | hist) . . (+495) . . Sequent calculus (→Exponential rules: multiplexing)
- 21:28, 19 March 2009 (diff | hist) . . (+352) . . N Talk:Light linear logics (Computational complexity) (current)
- 21:22, 19 March 2009 (diff | hist) . . (+38) . . m Light linear logics (→Soft linear logic: explicit mention of multi-functoriality)
- 21:19, 19 March 2009 (diff | hist) . . (+35) . . m Light linear logics (→Light linear logic: explicit mention of functoriality)
- 21:16, 19 March 2009 (diff | hist) . . (+27) . . m Light linear logics (→Elementary linear logic: explicit mention of multi-functoriality)
- 21:14, 19 March 2009 (diff | hist) . . (-23) . . m Main Page (→Contents: remove implicit complexity)
- 21:05, 19 March 2009 (diff | hist) . . (+805) . . Sequent calculus (→Variations: multi-fonctorial promotion and digging)
- 20:39, 19 March 2009 (diff | hist) . . (+104) . . m Sequent calculus (→Sequents and proofs: additional context in promotion rules)
- 11:51, 15 March 2009 (diff | hist) . . (+66) . . Semantics (→Additive structure: diagonal)
- 11:39, 15 March 2009 (diff | hist) . . (+277) . . Talk:Sequent calculus (→Equivalences)
- 16:47, 14 March 2009 (diff | hist) . . (+196) . . Talk:Sequent calculus (→Equivalences: new section)
- 16:46, 14 March 2009 (diff | hist) . . (-829) . . Talk:Sequent calculus (→Two-sided sequent calculus: closed topic)
- 16:45, 14 March 2009 (diff | hist) . . (-1,645) . . Talk:Sequent calculus (→Quantifiers: closed topic)
- 16:39, 14 March 2009 (diff | hist) . . (+84) . . m Sequent calculus (→Fundamental equivalences: pointer to the lattice of exponential modalities)
- 14:31, 14 March 2009 (diff | hist) . . (+3) . . m Talk:Positive formula (→Negative formula: signature syntax) (current)
- 14:29, 14 March 2009 (diff | hist) . . (+2) . . m Talk:Coherent semantics (signature syntax)
- 14:21, 14 March 2009 (diff | hist) . . (-448) . . Talk:Coherent semantics (→Main properties: closed topic)
- 13:10, 14 March 2009 (diff | hist) . . (+176) . . Talk:Coherent semantics (→Mix rule: new section)
- 23:12, 8 March 2009 (diff | hist) . . (+367) . . N Talk:Positive formula (Negative formula)
- 23:07, 8 March 2009 (diff | hist) . . (+1) . . m Talk:Coherent semantics (→Main properties: typo)
- 17:03, 6 March 2009 (diff | hist) . . (+90) . . Coherent semantics (→Main properties: more unit cases)
- 15: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...)
- 15: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)
- 21:21, 5 March 2009 (diff | hist) . . (+310) . . Talk:Coherent semantics (→Main properties: new section)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
