<xsl:value-of select="proofSystem/@title"/>

<xsl:value-of select="proofSystem/@title"/>

Notation

Notation	Meaning

Inference Rules

()

Rule
If
then If and

;

|-

;

=~

=>

;

in

subset

interleaves

;

WS(

)

(

,

)

=

.

=

not(

)

(

,

)

<

/>

<

>

</>

="

"

{

}

p k kr a m s v nc n ln ns u E { } env() ns() ( ) ""

+

,