Page history
9 July 2009
→Cactus Language for Propositional Logic: motivate use of cactus graphs
+318
→Cactus Language for Propositional Logic: fix flub
→Cactus Language for Propositional Logic: tweak definitions
+133
→Cactus Language for Propositional Logic: + ref to minimal negation
+57
→Cactus Language for Propositional Logic: + cactus graphs for basic connectives
+373
8 July 2009
→Differential Expansions of Propositions
+40
→Differential Expansions of Propositions: trim
-12
→Differential Expansions of Propositions: trim
-29
→Cactus Language for Propositional Logic
+55
→Cactus Language for Propositional Logic: move table up a bit
6 July 2009
→Cactus Language for Propositional Logic
-20
→Cactus Language for Propositional Logic
+24
→Cactus Language for Propositional Logic
-1
→Cactus Language for Propositional Logic: looking for the on ramp
+196
5 July 2009
4 July 2009
3 July 2009
2 July 2009
→Cactus Language for Propositional Logic: new table with cactus graphs and existential interpretation
+708
→Cactus Language for Propositional Logic: reformat table
-170
→Cactus Language for Propositional Logic: reformat table
+128
→Cactus Language for Propositional Logic: reformat arrays
+250
→Cactus Language for Propositional Logic: reformat table
+39
→Cactus Language for Propositional Logic: sub [a, b, c / x, y, z]
links & mdashes
+12
1 July 2009
30 June 2009
23 June 2009
→Cactus Language
+24
split off section for cactus language primer
+86
delete <div class="nonumtoc">__TOC__</div> to put numbers back in outline
-36
reorg
-125
reorg
-60
reorg
+62
→Propositional Forms on Two Variables: tweak terminology
-32
reorg
+156
reorg
+38
→Note 25: →Enlargement and Difference Maps
+24
→Note 24: →Tacit Extension
+8
→Note 22: →Quick Review
+5
→Note 23: → →Applications
+41
→Note 26: → →Tangent and Remainder Maps
+22
begin reorg
+8
22 June 2009
→Note 23: tweak figure
→Note 19: cleanup alignment
-6
→Note 19: convert graphics
-2,077
→Note 17: convert graphics
-2,080
adjust spacing
→Note 6: spacing
→Note 5: spacing
→Note 4: convert graphics
-864
