Recommendations

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (typo)
(typo in url)
 
(9 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
== User account ==
  
== User account ==
   
−
* use "FirstName LastName" as Username
 +
* Use "FirstName LastName" as Username.
−
* use a valid e-mail address
 +
* Use a valid e-mail address.
  +
  +
== Conventions ==
  +
  +
* Use English only, even for comments, discussions, ...
  +
* Use <tt><nowiki>== Header ==</nowiki></tt> for higher-level headers, ''do not'' use only one equals sign on a side.
   
 
== Notations ==
  
== Notations ==
Line 11: Line 11:
   
 
For theorem-style environments, use the appropriate predefined [http://www.mediawiki.org/wiki/Templates templates]: [[Template:Definition|Definition]], [[Template:Theorem|Theorem]], [[Template:Proposition|Proposition]], [[Template:Lemma|Lemma]], [[Template:Corollary|Corollary]] (with an optional parameter "title").
  
For theorem-style environments, use the appropriate predefined [http://www.mediawiki.org/wiki/Templates templates]: [[Template:Definition|Definition]], [[Template:Theorem|Theorem]], [[Template:Proposition|Proposition]], [[Template:Lemma|Lemma]], [[Template:Corollary|Corollary]] (with an optional parameter "title").
−
A template [[Template:Proof|Proof]] is also defined for proofs.
 +
Additional templates are [[Template:Proof|Proof]] for proofs and [[Template:Remark|Remark]] for remarks.
   
 
{| border="1" cellpadding="10" cellspacing="1"
  
{| border="1" cellpadding="10" cellspacing="1"
Line 21: Line 21:
   
 
{{Proof|Left to the reader.}}
  
{{Proof|Left to the reader.}}
  +
  +
{{Remark|Really nice, isn't it?}}
 
</pre>
  
</pre>
 
|
  
|
Line 28: Line 30:
   
 
{{Proof|Left to the reader.}}
  
{{Proof|Left to the reader.}}
  +
  +
{{Remark|Really nice, isn't it?}}
 
|-
  
|-
 
|}
  
|}
Line 39: Line 43:
 
=== Proofs ===
  
=== Proofs ===
   
−
The syntax for proofs is based on the [http://whttp://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/ bussproofs.sty] package. The only allowed macros are those used in the following example:
 +
The syntax for proofs is based on the [http://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/ bussproofs.sty] package, but available only through a sugar-coated specific to llwiki. Here is an example:
  +
<pre>
  +
\AxRule{}
  +
\VdotsRule{s}{{}\vdash\Gamma,A\imp B}
  +
\AxRule{}
  +
\VdotsRule{t}{{}\vdash\Gamma, A}
  +
\BinRule{{}\vdash \Gamma, B}
  +
\LabelRule{\rulename{modus ponens}}
  +
\DisplayProof
  +
\quad
  +
\longrightarrow_\beta
  +
\quad
  +
\AxRule{}
  +
\VdotsRule{s[t/x]}{{}\vdash\Gamma, B}
  +
\DisplayProof
  +
</pre>
  +
  +
<math>
  +
\AxRule{}
  +
\VdotsRule{s}{{}\vdash\Gamma,A\imp B}
  +
\AxRule{}
  +
\VdotsRule{t}{{}\vdash\Gamma, A}
  +
\BinRule{{}\vdash \Gamma, B}
  +
\LabelRule{\rulename{modus ponens}}
  +
\DisplayProof
  +
\quad
  +
\longrightarrow_\beta
  +
\quad
  +
\AxRule{}
  +
\VdotsRule{s[t/x]}{{}\vdash\Gamma, B}
  +
\DisplayProof
  +
</math>
  +
  +
A list of all available macros for proofs is available on the page for the [[LLWiki_LaTeX_Style#Proof_trees|LLWiki LaTeX package]].
  +
  +
=== Set of rules ===
  +
  +
For a group of rules, separate rules on a line by <nowiki>\qquad</nowiki> and separate lines by <nowiki><br /></nowiki>.
   
 
<pre>
  
<pre>
−
\AxRule{{}\vdash\Gamma,A\parr B\parr C}
 +
<math>
−
\NulRule{{}\vdash A,A\orth}
 +
\AxRule{\textit{Hyp}_1}
−
\NulRule{{}\vdash B,B\orth}
 +
\AxRule{\textit{Hyp}_2}
−
\NulRule{{}\vdash C,C\orth}
 +
\LabelRule{\rulename{Rule}_1}
−
\TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
 +
\BinRule{\textit{Concl}}
−
\LabelRule{\textit{cut}}
  
−
\BinRule{{}\vdash\Gamma,A,B,C}
  
−
\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
  
 
\DisplayProof
  
\DisplayProof
  +
\qquad
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\rulename{Rule}_1}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
</math>
  +
  +
<br />
  +
  +
<math>
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\rulename{Rule}_3}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
\qquad
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\rulename{Rule}_4}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
</math>
 
</pre>
  
</pre>
   
 
<math>
  
<math>
−
\AxRule{{}\vdash\Gamma,A\parr B\parr C}
 +
\AxRule{\textit{Hyp}_1}
−
\NulRule{{}\vdash A,A\orth}
 +
\AxRule{\textit{Hyp}_2}
−
\NulRule{{}\vdash B,B\orth}
 +
\LabelRule{\rulename{Rule}_1}
−
\NulRule{{}\vdash C,C\orth}
 +
\BinRule{\textit{Concl}}
−
\TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
 +
\DisplayProof
−
\LabelRule{\textit{cut}}
 +
\qquad
−
\BinRule{{}\vdash\Gamma,A,B,C}
 +
\AxRule{\textit{Hyp}_1}
−
\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
 +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\rulename{Rule}_2}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
</math>
  +
  +
<br />
  +
  +
<math>
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\rulename{Rule}_3}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
\qquad
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\rulename{Rule}_4}
  +
\BinRule{\textit{Concl}}
 
\DisplayProof
  
\DisplayProof
 
</math>
  
</math>

Latest revision as of 15:06, 8 December 2009

Contents

[edit] User account

  • Use "FirstName LastName" as Username.
  • Use a valid e-mail address.

[edit] Conventions

  • Use English only, even for comments, discussions, ...
  • Use == Header == for higher-level headers, do not use only one equals sign on a side.

[edit] Notations

For uniformity, use the common notations when they are already defined, and add your notations to the notations page when you introduce new ones.

[edit] Definitions and theorems

For theorem-style environments, use the appropriate predefined templates: Definition, Theorem, Proposition, Lemma, Corollary (with an optional parameter "title"). Additional templates are Proof for proofs and Remark for remarks. 

{{Definition|title=Concept|A new concept.}}

{{Theorem|This is a nice concept.}}

{{Proof|Left to the reader.}}

{{Remark|Really nice, isn't it?}}

Definition (Concept)

A new concept.

Theorem

This is a nice concept.

Proof. Left to the reader.

Remark: Really nice, isn't it?

[edit] Mathematical typesetting

[edit] Formulas

[edit] Proofs

The syntax for proofs is based on the bussproofs.sty package, but available only through a sugar-coated specific to llwiki. Here is an example: 

\AxRule{}
\VdotsRule{s}{{}\vdash\Gamma,A\imp B}
\AxRule{}
\VdotsRule{t}{{}\vdash\Gamma, A}
\BinRule{{}\vdash \Gamma, B}
\LabelRule{\rulename{modus ponens}}
\DisplayProof
\quad
\longrightarrow_\beta
\quad
\AxRule{}
\VdotsRule{s[t/x]}{{}\vdash\Gamma, B}
\DisplayProof

\AxRule{} \VdotsRule{s}{{}\vdash\Gamma,A\imp B} \AxRule{} \VdotsRule{t}{{}\vdash\Gamma, A} \BinRule{{}\vdash \Gamma, B} \LabelRule{\rulename{modus ponens}} \DisplayProof \quad \longrightarrow_\beta \quad \AxRule{} \VdotsRule{s[t/x]}{{}\vdash\Gamma, B} \DisplayProof

A list of all available macros for proofs is available on the page for the LLWiki LaTeX package.

[edit] Set of rules

For a group of rules, separate rules on a line by \qquad and separate lines by <br />. 

<math>
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\rulename{Rule}_1}
\BinRule{\textit{Concl}}
\DisplayProof
\qquad
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\rulename{Rule}_1}
\BinRule{\textit{Concl}}
\DisplayProof
</math>

<br />

<math>
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\rulename{Rule}_3}
\BinRule{\textit{Concl}}
\DisplayProof
\qquad
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\rulename{Rule}_4}
\BinRule{\textit{Concl}}
\DisplayProof
</math>

\AxRule{\textit{Hyp}_1} \AxRule{\textit{Hyp}_2} \LabelRule{\rulename{Rule}_1} \BinRule{\textit{Concl}} \DisplayProof \qquad \AxRule{\textit{Hyp}_1} \AxRule{\textit{Hyp}_2} \LabelRule{\rulename{Rule}_2} \BinRule{\textit{Concl}} \DisplayProof


\AxRule{\textit{Hyp}_1} \AxRule{\textit{Hyp}_2} \LabelRule{\rulename{Rule}_3} \BinRule{\textit{Concl}} \DisplayProof \qquad \AxRule{\textit{Hyp}_1} \AxRule{\textit{Hyp}_2} \LabelRule{\rulename{Rule}_4} \BinRule{\textit{Concl}} \DisplayProof

Retrieved from "http://140.77.166.78/mediawiki/index.php?title=Recommendations&oldid=433"
Personal tools