User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 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)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)