User contributions
28 July 2009
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
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: convert graphics
-722
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: fix typo
-6
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: convert graphics
-384
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: clarify some more
+39
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: clarify marking of root nodes
-591
Logical graph
Duality : logical and topological: del unnecessary specs
-189
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
Introduction: convert graphics
-290
Logical graph
Duality : logical and topological: spacing
-1
27 July 2009
User:Jon Awbrey/TABLE
TeX table bodies need white backgrounds
-340
User:Jon Awbrey/TABLE
Cactus Language
-60
User:Jon Awbrey/GRAPHICS
Cactus Graphs
-20
Information Equals Comprehension Times Extension
???
-6
Information Equals Comprehension Times Extension
blanks for underscores?
Information Equals Comprehension Times Extension
redir
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
cleanup
-11
Peirce's law
spacing
+14
Peirce's law
Equational form: spacing
+28
Peirce's law
use $\,-\!\!\!<$ for the sign of illation
+181
Talk:Peirce's law
LaTeX Version
+5,311
Logical graph
Resources
+4
Logical graph
del {{aficionados}}
-15
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
table bodies → white backgrounds
-220
12 July 2009
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Reality at the Threshold of Logic: tweak table
+34
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Propositions as Types and Higher Order Types: tweak table
+55
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Propositions as Types and Higher Order Types: tweak table
+28
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
The Analogy Between Real and Boolean Types: tweak table
+28
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
A Functional Conception of Propositional Calculus: tweak table
+117
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Review and Transition: fold in revisions
+2,472
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Revisions To Merge
+1
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
revisions to merge
10 July 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Tangent and Remainder Maps: cleanup debris
-3
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Differential Expansions of Propositions: fix typo
-1
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
tighten up lead a bit
+238
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: delete note
-105
9 July 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: explain PARCs a bit more
+253
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: motivate use of cactus graphs
+318
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: fix flub
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: tweak definitions
+133
Minimal negation
redir
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: + ref to minimal negation
+57
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Cactus Language for Propositional Logic: + cactus graphs for basic connectives
+373
File:Cactus Graph Node Connective.jpg
no edit summary
File:Cactus Graph Lobe Connective.jpg
no edit summary
8 July 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Differential Expansions of Propositions
+40
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Differential Expansions of Propositions: trim
-12
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Differential Expansions of Propositions: trim
-29