User contributions
8 July 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic
+55
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: move table up a bit
6 July 2009
Boolean-valued functions
redir
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic
-20
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic
+24
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic
-1
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: looking for the on ramp
+196
5 July 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: uniform typeface for logical ops
+80
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Tables: fix fonts
-70
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Original Version: fix fonts
+80
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Tables: uniform typeface for logical ops
+128
4 July 2009
3 July 2009
2 July 2009
User:Jon Awbrey/GRAPHICS
Cactus Graphs
+91
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Tables: add table
+3,941
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: new table with cactus graphs and existential interpretation
+708
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Tables
+63
User:Jon Awbrey/GRAPHICS
Cactus Graphs: add image
+90
File:Cactus (X,(A),(B),(C)) Big.jpg
no edit summary
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
rescale images
Directory:Jon Awbrey/Papers/Theme One Program : Exposition
Expository Note 13: rescale images
User:Jon Awbrey/TABLE
Wiki TeX Tables: rescale images
User:Jon Awbrey/GRAPHICS
Cactus Graphs: rescale
User:Jon Awbrey/GRAPHICS
Cactus Graphs
+32
User:Jon Awbrey/GRAPHICS
no edit summary
+1,437
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Tables
-21
File:Cactus (A,(B,C)) Big.jpg
no edit summary
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Tables: spacing
+5
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Tables: add cactus graphs
+604
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Logical Cacti
+57
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
+ tables
+3,296
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: reformat table
-170
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: reformat table
+128
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: reformat arrays
+250
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: reformat table
+39
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: sub [a, b, c / x, y, z]
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
links & mdashes
+12
Logic
Logic is an inquiry into the ideal form of inquiry itself.
+36
1 July 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
tweak lead
+55
Directory:Jon Awbrey/Papers/Theme One Program : Exposition
Expository Note 13: convert graphics
-3,376
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Logical Cacti: convert graphics
-3,032
User:Jon Awbrey/TABLE
Wiki TeX Tables
-236
File:Cactus (((A),(B),(C))) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-480
File:Cactus (((A),B,C)) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-396
File:Cactus ((A,B,C)) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-392
File:Cactus (A,(B),(C)) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-388