User contributions
30 July 2013
Directory:Jon Awbrey/Projects/Differential Logic
no edit summary
-125
Directory:Jon Awbrey
Inquiry Driven Systems
Directory:Jon Awbrey
Category and Subject Interests
-72
Help talk:Listing
not a place for user content
-4,568
13 July 2013
Directory:Jon Awbrey/Papers/Peirce's Logic Of Information
add categories
+189
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
no edit summary
-162
Directory:Jon Awbrey/Papers/Cactus Language
no edit summary
-1
Directory:Jon Awbrey/Papers/Cactus Language
no edit summary
-19
12 July 2013
11 July 2013
9 July 2013
Category:Propositional Calculus
'''{{PAGENAME}}'''
Category:Programming
'''{{PAGENAME}}'''
Category:Logical Modeling
'''{{PAGENAME}}'''
Category:Learning Theory
'''{{PAGENAME}}'''
Category:Learning Systems
'''{{PAGENAME}}'''
Category:Declarative Programming
'''{{PAGENAME}}'''
Category:Constraint Satisfaction
'''{{PAGENAME}}'''
Category:Automated Reasoning
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Theme One Program : Exposition
add categories
+629
Directory:Jon Awbrey/Projects/Theme One Program
no edit summary
-1
Directory:Jon Awbrey/Projects/Theme One Program
no edit summary
-62
Directory:Jon Awbrey/Projects/Theme One Program
add categories
+629
Directory:Jon Awbrey/Projects/Theme One Program
no edit summary
-124
8 July 2013
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
Transformations of Type B2 → B2: link to image
+30
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Transformations of Type B2 → B2: link to image
+30
File:Diff Log Dyn Sys -- Figure 70-b -- Tangent Functor Diagram.gif
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
delete obsolete tags
-179
7 July 2013
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
trim obsolete tags
-179
Category:Turing Machines
'''{{PAGENAME}}'''
Category:Computational Complexity
'''{{PAGENAME}}'''
Category:Computation
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
add categories
+373
6 July 2013
Directory:Jon Awbrey/Papers/Propositions As Types
no edit summary
-19
Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
add categories
+214
5 July 2013
Directory:Jon Awbrey/Papers/Semiotic Information
no edit summary
+43
Category:Sign Relations
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Semiotic Information
no edit summary
+28
Directory:Jon Awbrey/Papers/Semiotic Information
add categories
+167
Directory talk:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Created page with '==Work Area== ===Functional Quantifiers=== The '''umpire measure''' of type <math>{\Upsilon : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}}\!</math> links the constant proposit…'
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
table captions
+384
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
update
+735
4 July 2013
2 July 2013
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: fix section links
-108
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
no edit summary
-19
Inquiry Live
Peer nodes
-163
Logic Live
no edit summary
+54
Logic Live
Peer nodes
-199
Logic Live
Peer nodes
-10