12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 19:45, 25 March 2009
, 19:45, 25 March 2009→Step 5 (Extended): markup
===Step 5 (Extended)===
===Step 5 (Extended)===
Redo the development of the proof tree in existential graph format.
Redo the development of the proof tree in existential graph format.
Each frame of the developmental scheme that follows is divided by
Each frame of the developmental scheme that follows is divided by a dotted line, with terms that contribute to the main term under development being shown above it and the main term itself being shown below it.
a dotted line, with terms that contribute to the main term under
development being shown above it and the main term itself being
shown below it.
<pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| Hypotheses: x : A, y : B, z : A=>(B=>C) |
| Hypotheses: x : A, y : B, z : A=>(B=>C) |