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