User contributions
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
1 July 2013
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
update
+776
User:Jon Awbrey
Presentations and Publications: update
+109
Directory:Jon Awbrey
Presentations and Publications: update
+109
28 June 2013
27 June 2013
26 June 2013
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 8
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 7
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
no edit summary
-19
User talk:OmniMediaGroup
how did you implement that "nonumtoc" thingie?
+251
25 June 2013
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 2
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
no edit summary
-19
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
no edit summary
-19
22 June 2013
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Extending the Existential Interpretation to Quantificational Logic
+2
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
1.7. Dewey's “Sign of Rain” : An Example of Inquiry
+5
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Version 1. “On the Natural Classification of Arguments” (1867)
+2
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
1.5. Aristotle's “Paradigm” : Reasoning by Analogy or Example
+2
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
1.3. Comparison of the Analyses
+4
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
1.2. Types of Reasoning in C.S. Peirce
+2
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
1.1. Types of Reasoning in Aristotle
+3