User contributions
From LLWiki
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 16:16, 8 February 2009 (diff | hist) . . (-16) . . m Phase semantics (→Phase Semantics: systematic use of \orth and \biorth)
- 16:12, 8 February 2009 (diff | hist) . . (+100) . . LLWiki LaTeX Style (→Mathematical notations: \biorth and \triorth added)
- 16:00, 8 February 2009 (diff | hist) . . (-7) . . m Phase semantics (Template:Remark for remarks)
- 15:52, 8 February 2009 (diff | hist) . . (+111) . . Recommendations (→Definitions and theorems: Remark added)
- 15:48, 8 February 2009 (diff | hist) . . (+27) . . N Template:Remark (Template for remarks)
- 15:48, 8 February 2009 (diff | hist) . . (0) . . m Phase semantics (→Relations and operators on subsets: typo)
- 15:35, 8 February 2009 (diff | hist) . . (+29) . . m Sequent calculus (typos and pointers)
- 19:35, 3 February 2009 (diff | hist) . . (0) . . m Game semantics (→Strategies: typos) (current)
- 23:51, 2 February 2009 (diff | hist) . . (+18,544) . . N Translations of intuitionistic logic (Definitions of three translations)
- 22:07, 21 January 2009 (diff | hist) . . (+110) . . LLWiki LaTeX Style (→Mathematical notations: \linequiv and \set added)
- 00:10, 19 January 2009 (diff | hist) . . (+120) . . Sequent calculus (→Equivalences and definability: isomorphism and equiprovability)
- 00:06, 19 January 2009 (diff | hist) . . (+374) . . N Equiprovability (basic cases) (current)
- 13:29, 18 January 2009 (diff | hist) . . (+80) . . LLWiki:About (email contact) (current)
- 22:52, 17 January 2009 (diff | hist) . . (-51) . . m Intuitionistic linear logic (\alpha -> \xi)
- 19:13, 17 January 2009 (diff | hist) . . (-2) . . m Talk:Sequent calculus (→Quantifiers: indentation)
- 23:34, 15 January 2009 (diff | hist) . . (+831) . . Talk:Sequent calculus (→Two-sided sequent calculus: new section)
- 23:22, 15 January 2009 (diff | hist) . . (+1) . . m Sequent calculus (→Reversibility: typo)
- 12:11, 15 January 2009 (diff | hist) . . (+205) . . Sequent calculus (→Equivalences and definability: Additional equivalences)
- 00:04, 15 January 2009 (diff | hist) . . (+77) . . Talk:Sequent calculus (→Quantifiers: subformula of <math>\forall X A</math>)
- 00:02, 15 January 2009 (diff | hist) . . (+1) . . m Sequent calculus (→Cut elimination and consequences: typos)
- 23:47, 14 January 2009 (diff | hist) . . (+98) . . Sequent calculus (→Fundamental equivalences: commutation of quantifiers with tensor)
- 20:37, 14 January 2009 (diff | hist) . . (+554) . . N Talk:Sequent calculus (Dealing with quantifiers)
- 20:35, 14 January 2009 (diff | hist) . . (-2) . . m Sequent calculus (→Equivalences and definability: typo)
- 23:31, 12 January 2009 (diff | hist) . . (+6) . . m Recommendations (→Set of rules: <br /> instead of <br>)
- 21:51, 11 January 2009 (diff | hist) . . (+3,879) . . Intuitionistic linear logic (input/output polarities)
- 21:46, 11 January 2009 (diff | hist) . . (+664) . . Intuitionistic linear logic (→The intuitionistic fragment of linear logic: refined statements)
- 21:42, 11 January 2009 (diff | hist) . . (+73) . . N Help:Editing (pointers to notations and recommendations) (current)
- 18:13, 11 January 2009 (diff | hist) . . (+82) . . m Todo List (→Templates: bibliography: proposal of Extension:Bibtexio)
- 18:10, 11 January 2009 (diff | hist) . . (+64) . . Todo List (→Wiki: favicon)
- 17:45, 11 January 2009 (diff | hist) . . (+33) . . LLWiki:About (→References: with Template:BibEntry)
- 17:43, 11 January 2009 (diff | hist) . . (-1) . . m Template:BibEntry (typo ".") (current)
- 17:41, 11 January 2009 (diff | hist) . . (-11) . . Template:BibEntry (without linebreaks)
- 17:35, 11 January 2009 (diff | hist) . . (+771) . . N Template:BibEntry (naive version ignoring "bibtype" entry)
- 17:19, 11 January 2009 (diff | hist) . . (+121) . . Todo List (→Templates: bibliography)
- 00:32, 11 January 2009 (diff | hist) . . (+73) . . Main Page (→Contents: separate pages for translations of LJ and LK)
- 00:30, 11 January 2009 (diff | hist) . . (+71) . . Notations (→Rule names: implicit R for one-sided)
- 23:03, 7 January 2009 (diff | hist) . . (+4,880) . . N Intuitionistic linear logic (Definition of ILL and embedding into LL (two-sided presentation))
- 22:25, 7 January 2009 (diff | hist) . . (+8) . . m Main Page (→Contents: adjustments in titles)
- 20:51, 7 January 2009 (diff | hist) . . (+122) . . Notations (→Formulas: substitutions)
- 20:45, 7 January 2009 (diff | hist) . . (+1,163) . . Recommendations (formating of groups of rules)
- 16:55, 29 December 2008 (diff | hist) . . (+225) . . Todo List (footer)
- 16:49, 29 December 2008 (diff | hist) . . (+229) . . N Help:Contents (first list of pointers) (current)
- 16:40, 29 December 2008 (diff | hist) . . (+221) . . Todo List (sidebar)
- 16:32, 29 December 2008 (diff | hist) . . (-40) . . MediaWiki:Sidebar (current)
- 16:32, 29 December 2008 (diff | hist) . . (-65) . . MediaWiki:Sidebar
- 16:29, 29 December 2008 (diff | hist) . . (+541) . . N LLWiki:About (short project description)
- 16:04, 29 December 2008 (diff | hist) . . (+219) . . N MediaWiki:Sidebar (comments for unused features of the sidebar)
- 15:23, 29 December 2008 (diff | hist) . . (+1,769) . . N Notations (first set of notations)
- 13:17, 29 December 2008 (diff | hist) . . (0) . . m Recommendations (typo)
- 13:16, 29 December 2008 (diff | hist) . . (+192) . . Recommendations (notations)
- 19:38, 28 December 2008 (diff | hist) . . (+120) . . Todo List (first version of sandbox done)
- 19:27, 28 December 2008 (diff | hist) . . (-6) . . Sandbox
- 19:25, 28 December 2008 (diff | hist) . . (+42) . . Template:Sandbox (corrected reset link) (current)
- 19:20, 28 December 2008 (diff | hist) . . (+6) . . Sandbox
- 19:20, 28 December 2008 (diff | hist) . . (+207) . . N Template:Sandbox (Template for sandbox with reset feature)
- 19:17, 28 December 2008 (diff | hist) . . (+42) . . N Sandbox (sandbox based on template for reset)
- 19:15, 28 December 2008 (diff | hist) . . (+40) . . Main Page (link to sandbox)
- 18:51, 28 December 2008 (diff | hist) . . (+112) . . N User:Olivier Laurent (link to home page) (current)
- 18:26, 28 December 2008 (diff | hist) . . (+75) . . Main Page
- 18:20, 28 December 2008 (diff | hist) . . (-124) . . Todo List (empty title in Template:Environment : done)
- 18:18, 28 December 2008 (diff | hist) . . (+711) . . Recommendations (use template for theorems)
- 18:05, 28 December 2008 (diff | hist) . . (+108) . . Template:Proposition (propagate empty title) (current)
- 18:04, 28 December 2008 (diff | hist) . . (+43) . . Template:Theorem (propagate empty title again) (current)
- 18:03, 28 December 2008 (diff | hist) . . (+61) . . Template:Theorem (propagate empty title)
- 18:01, 28 December 2008 (diff | hist) . . (+102) . . Template:Lemma (propagate empty title) (current)
- 18:00, 28 December 2008 (diff | hist) . . (+106) . . Template:Corollary (propagate empty title) (current)
- 17:58, 28 December 2008 (diff | hist) . . (+12) . . m Template:Definition (current)
- 17:57, 28 December 2008 (diff | hist) . . (+12) . . m Template:Environment
- 17:56, 28 December 2008 (diff | hist) . . (+1) . . m Template:Definition
- 17:56, 28 December 2008 (diff | hist) . . (+47) . . Template:Definition (propagate undefined title again)
- 17:50, 28 December 2008 (diff | hist) . . (+47) . . Template:Definition (propagate undefined title)
- 17:47, 28 December 2008 (diff | hist) . . (+11) . . Template:Environment (test definedness of title instead of emptyness)
- 17:42, 28 December 2008 (diff | hist) . . (+35) . . Template:Environment (deal with empty title)
- 17:13, 28 December 2008 (diff | hist) . . (+1,204) . . N LLWiki LaTeX Style (list of macros from llwiki.sty v0.2)
- 16:57, 28 December 2008 (diff | hist) . . (+928) . . Recommendations (Mathematical typesetting)
- 14:19, 28 December 2008 (diff | hist) . . (0) . . m Todo List
- 22:23, 19 December 2008 (diff | hist) . . (+11) . . m MediaWiki:Loginprompt (current)
- 11:55, 19 December 2008 (diff | hist) . . (+33) . . Todo List (doc for Templates)
- 11:32, 19 December 2008 (diff | hist) . . (+44) . . Todo List (required wiki features)
- 11:31, 19 December 2008 (diff | hist) . . (+140) . . N Todo List (empty title in Template:Environment)
- 11:26, 19 December 2008 (diff | hist) . . (+35) . . Template:Proof (content inside)
- 11:23, 19 December 2008 (diff | hist) . . (+31) . . Template:Corollary (content inside)
- 11:22, 19 December 2008 (diff | hist) . . (+31) . . Template:Lemma (content inside)
- 11:21, 19 December 2008 (diff | hist) . . (+31) . . Template:Proposition (content inside)
- 11:21, 19 December 2008 (diff | hist) . . (-3) . . m Template:Theorem
- 11:20, 19 December 2008 (diff | hist) . . (+34) . . Template:Theorem (content inside)
- 11:20, 19 December 2008 (diff | hist) . . (+31) . . Template:Definition (content inside)
- 11:19, 19 December 2008 (diff | hist) . . (+27) . . Template:Environment (content as parameter, named parameters)
- 11:02, 19 December 2008 (diff | hist) . . (+16) . . N Template:Proof (New page: ''Proof:''<br />)
- 11:01, 19 December 2008 (diff | hist) . . (+33) . . N Template:Corollary (New page: {{Environment|Corollary|{{{1}}}}})
- 11:00, 19 December 2008 (diff | hist) . . (+35) . . N Template:Proposition (New page: {{Environment|Proposition|{{{1}}}}})
- 11:00, 19 December 2008 (diff | hist) . . (-5) . . m Template:Lemma
- 11:00, 19 December 2008 (diff | hist) . . (+34) . . N Template:Lemma (New page: {{Environment|Definition|{{{1}}}}})
- 10:59, 19 December 2008 (diff | hist) . . (+31) . . N Template:Theorem (New page: {{Environment|Theorem|{{{1}}}}})
- 01:36, 19 December 2008 (diff | hist) . . (+87) . . N Recommendations (recommendation for username)
- 01:33, 19 December 2008 (diff | hist) . . (+124) . . N MediaWiki:Loginprompt (Pointer to recommendations)
- 01:28, 19 December 2008 (diff | hist) . . (+2) . . Template:Definition (use Template:Environment)
- 01:27, 19 December 2008 (diff | hist) . . (+29) . . N Template:Environment (generic template for theorem-like environments)
- 01:24, 19 December 2008 (diff | hist) . . (+32) . . N Template:Definition (New page: '''Definition''' ({{{1}}})<br />)
- 00:31, 18 December 2008 (diff | hist) . . (+336) . . Main Page (Preliminary table of contents)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)