User contributions
11 July 2008
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Tables of Propositional Forms: HTML → TeX
+393
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Tables of Propositional Forms: HTML → TeX
+621
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Tables of Propositional Forms: HTML → TeX
-22
10 July 2008
Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
{{DISPLAYTITLE:Information = Comprehension × Extension}}
+59
Differential logic
add cats & links
+182
Directory:Jon Awbrey/Projects/Differential Logic
wiki link
-2
Directory:Jon Awbrey/Projects/Differential Logic
Readings: add item
+121
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: fix awk
+3
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+9
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+13
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
-123
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
-14
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
Reality at the Threshold of Logic: fix old typo -- close parenthesis
+1
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+31
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+22
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+39
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+46
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
Reality at the Threshold of Logic: fix old cut & paste errors
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
-36
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+75
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+674
9 July 2008
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: del deprecated version
-4,140
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Original Format: restructure table
+548
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Original Format: HTML
+13
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Original Format: HTML → TeX
+68
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Original Format: HTML → TeX
+196
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Original Format: cellpadding="4"
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Original Format: HTML → TeX
-119
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic
+3,839
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+165
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic: HTML → TeX
+40
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Reality at the Threshold of Logic
-725
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Work Area: add stuff to work on
+12,125
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
A Functional Conception of Propositional Calculus: cleanup
-35
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Review and Transition: spacing
+4
8 July 2008
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Propositions as Types and Higher Order Types: spacing
+10
Directory:Jon Awbrey
Differential Logic: add items
+258
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
add cats & tags
+820
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Cactus calculus: problem with subsection link -- maybe the period? -- try a shorter one
-37
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Cactus calculus: fix broken subsection link
-108
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
Work In Progress: add text
+4,096
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus
Elegant Graveyard
+279
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus
Current Version @ PlanetMath : TeX Format: update
+4,490
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Propositions as Types and Higher Order Types: HTML → TeX
-172
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Propositions as Types and Higher Order Types: HTML → TeX
-18
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Propositions as Types and Higher Order Types: sub \xi for \chi
-7
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Propositions as Types and Higher Order Types: HTML → TeX
-133
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Propositions as Types and Higher Order Types: HTML → TeX
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Propositions as Types and Higher Order Types: HTML → TeX
+40
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Propositions as Types and Higher Order Types: spacing
+28