12,089
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 03:06, 28 March 2009
, 03:06, 28 March 2009→Classical Propositional Calculus: markup
===Classical Propositional Calculus===
===Classical Propositional Calculus===
<pre>
{| align="center" cellpadding="8" width="90%" <!--QUOTE-->
|
|
| R7. F <= (F <= A) -> A.
<p>If we want ''classical'' propositional logic, we must also require:
</pre>
|-
|
<p><math>\begin{array}{ll}
\text{R7.} & (\bot \Leftarrow (\bot \Leftarrow A)) \to A.
\end{array}</math></p>
|-
|
<p>(Lambek & Scott, 50).
|}
===Category 2===
===Category 2===