User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:03, 27 July 2017 (diff | hist) . . (+158) . . m List of equivalences (Correction of useless corrections) (current)
- 20:55, 27 July 2017 (diff | hist) . . (-228) . . m List of equivalences (Reverted edits by Olivier Laurent (talk) to last revision by Emmanuel Beffara)
- 11:40, 26 July 2017 (diff | hist) . . (-19) . . m List of equivalences (→Miscellaneous: LaTeX typo)
- 11:39, 26 July 2017 (diff | hist) . . (+89) . . List of equivalences (→Miscellaneous: 0 o-o !0 added)
- 09:31, 13 March 2017 (diff | hist) . . (+104) . . Intuitionistic linear logic (→The intuitionistic fragment of linear logic: Updated counter-example with 0 only) (current)
- 11:04, 9 March 2017 (diff | hist) . . (-6) . . m Intuitionistic linear logic (→The intuitionistic fragment of linear logic: typo)
- 11:10, 6 September 2016 (diff | hist) . . (+89) . . List of equivalences (→Miscellaneous: encoding of multiplicative units with atoms and exponentials)
- 12:03, 8 January 2015 (diff | hist) . . (+69) . . List of equivalences (→Multiplicatives: additional example)
- 11:42, 21 November 2014 (diff | hist) . . (+4) . . m List of equivalences (emphasis added)
- 11:39, 21 November 2014 (diff | hist) . . (+134) . . List of equivalences (→Additives: Added Emmanuel Beffara's example for multiplicatives)
- 11:26, 21 November 2014 (diff | hist) . . (+25) . . m Lattice of exponential modalities (Pointer to list of equivalences) (current)
- 14:27, 29 October 2013 (diff | hist) . . (+95) . . Provable formulas (Identites added) (current)
- 22:17, 28 October 2013 (diff | hist) . . (+456) . . Fragment (→Additive fragments: ALL added) (current)
- 22:01, 28 October 2013 (diff | hist) . . (+1,540) . . N Regular formula (Basic properties of regular formulas) (current)
- 21:31, 28 October 2013 (diff | hist) . . (+29) . . N Co-regular formula (redirection to regular formula) (current)
- 21:24, 28 October 2013 (diff | hist) . . (+739) . . N Additive cut rule (Non admissibility) (current)
- 20:31, 28 October 2013 (diff | hist) . . (-10) . . m Provable formulas (stub tag removed)
- 20:30, 28 October 2013 (diff | hist) . . (+88) . . Provable formulas (→Factorizations: exists/plus added)
- 19:36, 28 October 2013 (diff | hist) . . (0) . . m Provable formulas (Modified order of sections)
- 19:35, 28 October 2013 (diff | hist) . . (+597) . . Provable formulas (→Distributivities: added principles and commutations)
- 19:25, 28 October 2013 (diff | hist) . . (+170) . . Provable formulas (Promotion principles added)
- 19:22, 28 October 2013 (diff | hist) . . (+65) . . Provable formulas (→Factorizations: plus/par added)
- 19:21, 28 October 2013 (diff | hist) . . (+65) . . Provable formulas (→Distributivities: tens/with added)
- 19:18, 28 October 2013 (diff | hist) . . (+202) . . Provable formulas (→Monoidality of exponentials: monoidality laws for additives)
- 19:15, 28 October 2013 (diff | hist) . . (+395) . . Provable formulas (Quantifiers added)
- 19:11, 28 October 2013 (diff | hist) . . (+1) . . m Provable formulas (→Monoidality of exponential: typo)
- 19:06, 28 October 2013 (diff | hist) . . (+61) . . Provable formulas (→Additive structure: Units added)
- 18:55, 28 October 2013 (diff | hist) . . (-69) . . Provable formulas (→Monoidality of exponential: Units removed: special case of equivalence for positive/negative formula)
- 18:50, 28 October 2013 (diff | hist) . . (+2,296) . . N Negative formula (Dual version of positive formula) (current)
- 18:49, 28 October 2013 (diff | hist) . . (+23) . . m Positive formula (→Generalized structural rules: Link to wikipedia:comoind) (current)
- 18:43, 28 October 2013 (diff | hist) . . (+107) . . Positive formula (Added link to negative formulas)
- 16:02, 28 October 2013 (diff | hist) . . (+75) . . m Provable formulas (→Monoidality of exponential: Duals added)
- 15:57, 28 October 2013 (diff | hist) . . (+392) . . List of equivalences (Exponentials added)
- 15:55, 28 October 2013 (diff | hist) . . (-244) . . Provable formulas (Link to List of equivalences)
- 15:46, 28 October 2013 (diff | hist) . . (+58) . . Sequent calculus (→Equivalence: Link to List of equivalences) (current)
- 15:43, 28 October 2013 (diff | hist) . . (+1,907) . . N List of equivalences (First list of equivalences)
- 22:43, 27 October 2013 (diff | hist) . . (+615) . . List of isomorphisms (Quantifiers added) (current)
- 14:59, 27 October 2013 (diff | hist) . . (+2,766) . . N Mix (Definition and main properties of the mix rules) (current)
- 14:51, 27 June 2013 (diff | hist) . . (-7) . . m LLWiki LaTeX Style (→Proof trees: typo) (current)
- 10:28, 2 May 2013 (diff | hist) . . (-3) . . m Light linear logics (→Elementary linear logic: typo) (current)
- 21:09, 25 April 2013 (diff | hist) . . (0) . . m Provable formulas (→Monoidality of exponential: typo)
- 21:09, 25 April 2013 (diff | hist) . . (+78) . . Provable formulas (Added link to list of isomorphisms.)
- 21:05, 25 April 2013 (diff | hist) . . (-180) . . m Provable formulas (\limp instead of \longrightarrow)
- 21:01, 25 April 2013 (diff | hist) . . (-72) . . Talk:Sequent calculus (→Equivalences: update comment) (current)
- 20:59, 25 April 2013 (diff | hist) . . (-239) . . Talk:Semantics (→Page status: obsolete comment) (current)
- 20:58, 25 April 2013 (diff | hist) . . (-938) . . Semantics (Reorganized page) (current)
- 20:56, 25 April 2013 (diff | hist) . . (+942) . . Provable formulas (Added formules from Semantics page)
- 20:51, 25 April 2013 (diff | hist) . . (-1,746) . . Semantics (Removed isomorphisms)
- 20:48, 25 April 2013 (diff | hist) . . (+1,868) . . N List of isomorphisms (First list)
- 20:38, 25 April 2013 (diff | hist) . . (+1) . . Isomorphism (Link to list of isomorphisms) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
