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