Recommendations

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (typo)
(formating of groups of rules)
Line 62: Line 62:
 
\BinRule{{}\vdash\Gamma,A,B,C}
 
\BinRule{{}\vdash\Gamma,A,B,C}
 
\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
 
\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
  +
\DisplayProof
  +
</math>
  +
  +
=== 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>
  +
<math>
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\text{Rule}_1}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
\qquad
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\text{Rule}_1}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
</math>
  +
  +
<br>
  +
  +
<math>
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\text{Rule}_3}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
\qquad
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\text{Rule}_4}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
</math>
  +
</pre>
  +
  +
<math>
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\text{Rule}_1}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
\qquad
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\text{Rule}_2}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
</math>
  +
  +
<br>
  +
  +
<math>
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\text{Rule}_3}
  +
\BinRule{\textit{Concl}}
  +
\DisplayProof
  +
\qquad
  +
\AxRule{\textit{Hyp}_1}
  +
\AxRule{\textit{Hyp}_2}
  +
\LabelRule{\text{Rule}_4}
  +
\BinRule{\textit{Concl}}
 
\DisplayProof
 
\DisplayProof
 
</math>
 
</math>

Revision as of 19:45, 7 January 2009

Contents

User account

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

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.

Definitions and theorems

For theorem-style environments, use the appropriate predefined templates: Definition, Theorem, Proposition, Lemma, Corollary (with an optional parameter "title"). A template Proof is also defined for proofs.

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

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

{{Proof|Left to the reader.}}

Definition (Concept)

A new concept.

Theorem

This is a nice concept.

Proof. Left to the reader.

Mathematical typesetting

Formulas

Proofs

The syntax for proofs is based on the bussproofs.sty package. The only allowed macros are those used in the following example:

\AxRule{{}\vdash\Gamma,A\parr B\parr C}
\NulRule{{}\vdash A,A\orth}
\NulRule{{}\vdash B,B\orth}
\NulRule{{}\vdash C,C\orth}
\TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
\LabelRule{\textit{cut}}
\BinRule{{}\vdash\Gamma,A,B,C}
\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
\DisplayProof


\AxRule{{}\vdash\Gamma,A\parr B\parr C}
\NulRule{{}\vdash A,A\orth}
\NulRule{{}\vdash B,B\orth}
\NulRule{{}\vdash C,C\orth}
\TriRule{{}\vdash A,B,C,A\orth\tens B\orth\tens C\orth}
\LabelRule{\textit{cut}}
\BinRule{{}\vdash\Gamma,A,B,C}
\UnaRule{{}\vdash\Gamma,A\parr B\parr C}
\DisplayProof

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{\text{Rule}_1}
\BinRule{\textit{Concl}}
\DisplayProof
\qquad
\AxRule{\textit{Hyp}_1}
\AxRule{\textit{Hyp}_2}
\LabelRule{\text{Rule}_1}
\BinRule{\textit{Concl}}
\DisplayProof
</math>

<br>

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


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



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

Personal tools