User contributions
30 September 2010
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
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C1. Double negation: renumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C1. Double negation: renumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C1. Double negation: replace monolithic graphic with frame-table version
+1,151
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
+4
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
-95
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
-174
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
-43
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
+102
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
+106
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
+110
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
no edit summary
+93
26 September 2010
25 September 2010
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
+62
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
+122
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History
Document History
+51
24 September 2010
22 September 2010
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5
5.2. Reflective Inquiry: delete merged text
-59,089
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5
5.2. Reflective Inquiry: + final subsection headings
+540
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5
5.2. Reflective Inquiry: + final subsection headings
+540
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5
5.2. Reflective Inquiry: + middle section headings
+206
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5
5.2. Reflective Inquiry: + middle section headings
+206
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5
move formatted text to main page
+91,886