12,089
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 02:34, 28 March 2009
, 02:34, 28 March 2009→Positive Intuitionistic Propositional Calculus: spacing
|
|
<p><math>\begin{array}{ll}
<p><math>\begin{array}{ll}
\text{R4a.} & (A \Leftarrow B) \land B \xrightarrow{~\varepsilon_{A, B}~} A,
\text{R4a.} & (A \Leftarrow B) \land B ~\xrightarrow{~\varepsilon_{A, B}~}~ A,
\\[8pt]
\\[8pt]
\text{R4b.} & \dfrac{C \land B \xrightarrow{~h~} A}{C \xrightarrow{~h^*~} A \Leftarrow B}.
\text{R4b.} & \dfrac{~ C \land B ~\xrightarrow{~h~}~ A ~}{~ C ~\xrightarrow{~h^*~}~ A \Leftarrow B ~}.
\end{array}</math></p>
\end{array}</math></p>
|-
|-