User contributions
30 July 2009
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: reparse
+12
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: TeX markup
+102
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: TeX markup
+433
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: TeX markup
+308
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: TeX markup
+109
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: TeX markup + style edits
+24
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: rephrase
-22
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: rephrase
+66
Logical graph
Duality : logical and topological: TeX formats + del redundant wiki links
+29
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: TeX formats
+205
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: format
+9
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Analyzing contingent truths: blank background hatching + center figures
+1,087
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Logic as sign transformation: convert graphics + center figures
-855
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Themes and variations: del background hatching
29 July 2009
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
C<sub>2</sub>. Generation theorem: del figure hatching
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Case analysis-synthesis theorem: del figure hatching
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Case analysis-synthesis theorem: center figures
+310
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Themes and variations: center displays
+1,041
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
C<sub>2</sub>. Generation theorem: center displays
+373
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: center figures
+540
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Exemplary proofs: reorg
-6
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Exemplary proofs: convert graphics + add Peirce's Law
-3,982
Logical graph
Exemplary proofs: del unnec specs
-94
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Themes and variations: ← split off new section
+27
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
convert graphics + other revisions
-6,063
Logical graph
Frequently used theorems: rephrase
-7
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
reorganize sections
+87
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Double negation theorem: ← split off new section
+29
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: convert graphics
-8,038
Logical graph
Frequently used theorems: del unnec specs
-189
28 July 2009
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: convert graphics
-3,355
Logical graph
Axioms: del unnec specs
-49
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: convert graphics
-2,426
Logical graph
Primary algebra as pattern calculus: del unnec specs
-54
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: convert graphics
-1,848
Logical graph
Primary arithmetic as semiotic system: trim
-45
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: expand a bit
+169
Logical graph
Primary arithmetic as semiotic system: inline graphics for rooted node and rooted edge
+250
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: inline graphics
+36
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Categories of structured individuals: convert graphics
-3,140
Logical graph
Primary arithmetic as semiotic system: fix awk
+14
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: add figure
+169
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: convert graphics
-1,599
Logical graph
Duality : logical and topological: cleanup
+1
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: fix format for variables
-17
Logical graph
Computational representation: fix format for variables
-24
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: convert graphics
-1,345
Logical graph
Computational representation: cleanup
-7
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: convert graphics
-1,615
Logical graph
Primary arithmetic as semiotic system: del unnec specs
-54