Page history
29 November 2015
→Cactus Language for Propositional Logic: try alternate table without graphics
-934
→Cactus Language for Propositional Logic
-2
→Quick Overview
+1
update
+1,397
8 December 2014
7 June 2013
20 January 2013
26 January 2012
24 December 2011
30 September 2010
28 September 2009
→Enlargement and Difference Maps: typo
+1
→Quick Review : Field Picture: remove old numbering from figures
-117
23 September 2009
22 September 2009
→Propositional Forms on Two Variables: sub [over/Over}
→Transforms Expanded over Ordinary Features: typo
→Transforms Expanded over Ordinary Features: typo
19 September 2009
18 September 2009
16 September 2009
27 July 2009
10 July 2009
→Tangent and Remainder Maps: cleanup debris
-3
→Differential Expansions of Propositions: fix typo
-1
tighten up lead a bit
+238
→Cactus Language for Propositional Logic: delete note
-105
9 July 2009
→Cactus Language for Propositional Logic: explain PARCs a bit more
+253
→Cactus Language for Propositional Logic
+1
→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