12,089
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 02:31, 28 March 2009
, 02:31, 28 March 2009→Conjunction Calculus: spacing
|
|
<p><math>\begin{array}{ll}
<p><math>\begin{array}{ll}
\text{R2.} & A \xrightarrow{~\bigcirc_A~} \operatorname{T};
\text{R2.} & A ~\xrightarrow{~\bigcirc_A~}~ \operatorname{T};
\\[8pt]
\\[8pt]
\text{R3a.} & A \land B \xrightarrow{~\pi_{A, B}~} A,
\text{R3a.} & A \land B ~\xrightarrow{~\pi_{A, B}~}~ A,
\\[8pt]
\\[8pt]
\text{R3b.} & A \land B \xrightarrow{~\pi'_{A, B}~} B,
\text{R3b.} & A \land B ~\xrightarrow{~\pi'_{A, B}~}~ B,
\\[8pt]
\\[8pt]
\text{R3c.} & \dfrac{C \xrightarrow{~f~} A \quad C \xrightarrow{~g~} B}{C \xrightarrow{~\langle f, g \rangle~} A \land B}.
\text{R3c.} & \dfrac{~ C ~\xrightarrow{~f~}~ A \quad C ~\xrightarrow{~g~}~ B ~}{C ~\xrightarrow{~\langle f, g \rangle~}~ A \land B}.
\end{array}</math></p>
\end{array}</math></p>
|-
|-