User contributions
18 October 2010
11 October 2010
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
reduce double spaces in headings
-75
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 2
reduce double spaces in headings
-28
10 October 2010
7 October 2010
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
reduce double spaces in headings to single spaces
-56
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
1.1.4.1. Imagination: spacing
-1
File:Cactus (A) Big Alt.jpg
no edit summary
6 October 2010
Directory talk:Jon Awbrey
Greetings: (that's weird, i don't get a notice of messages on my directory page, i wonder if there's some way to configure that?)
-3
Directory talk:Jon Awbrey
Greetings: Bak@U
+189
Inquiry Into Inquiry
#REDIRECT Directory:Jon Awbrey/Papers/Inquiry Driven Systems
Introduction to Inquiry Driven Systems
#REDIRECT Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
-121,629
4 October 2010
File:Tangent Functor Ferris Wheel.png
"Tangent Functor Ferris Wheel" by Jon Awbrey
File:Tangent Functor Ferris Wheel.jpg
no edit summary
1 October 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: re-format
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Discusssion: re-format
+88
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Axioms: fix typo
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Formal development: re-format
+24
Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Formal extension : Cactus calculus
+12
Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
+ place for discussion
+36
Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
no edit summary
+864
30 September 2010
Logical graph
Resources: fix typo
-10
Logical graph
Resources: correct page title
-8
Logical graph
Resources: reduce bullets for less dotty effect
-12
Logical graph
Resources: correct page title
+2
Logical graph
Resources: Alphabetize Items + WebArchive Link for Dau's Page
+58
Logical graph
Resources: add
+265
Logical graph
Resources: trim
-65
Directory:Jon Awbrey
Presently …: update
-28
User:Jon Awbrey
Presently …: update
-28
Directory:Jon Awbrey
Recent Sightings: update
+101
User:Jon Awbrey
Recent Sightings: update
+101
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
<br><sharethis /> + categories
+473
Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Work Area
+8,029
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
<br><sharethis />
+19
29 September 2010
Peirce's law
Bibliography: format
-1
Peirce's law
External links: del self-link
-88
Peirce's law
Bibliography: + references & external links
+664
28 September 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Standard Upper Ontology (Mar–Apr 2001): adjust link
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: re-number figures & tables
+5
27 September 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
renumber figures
-133
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
del empty line
-1
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Two-thirds majority function: re-number equations & figures
+3
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C3. Dominant form theorem: replace JPG with PNG
-12
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C2. Generation theorem: replace JPG with PNG
-7
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C1. Double negation: replace JPG with PNG
-10
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Peirce's law: replace JPG with PNG
+14
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema: split up monolithic graphic + proof animation + re-number figures
+1,475
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Peirce's law: split up monolithic graphic + proof animation + re-number figures
+1,239
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C3. Dominant form theorem: split up monolithic graphic + proof animation + re-number figures
+883
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C2. Generation theorem: split up monolithic graphic & re-number figures
+923