User contributions
6 November 2016
File:Equational Inference Bar -- Cast C ISW.jpg
no edit summary
File:Equational Inference Bar -- Domination ISW.jpg
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
copy fix(?) from worlk page
+87
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: see if this works
+439
Directory:Jon Awbrey/MathJax Problems
okay ... delete a bit
-343
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: try non-escaped underscore chars in \texttt
+509
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: try <math>\texttt{(_)}\!</math>
-1
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: add a bit more
+108
Directory:Jon Awbrey/MathJax Problems
Formal extension : Cactus calculus: add a bit more
+177
Directory:Jon Awbrey/MathJax Problems
add a bit
+108
File:Equational Inference Reflect ab, ac, bc ISW.jpg
no edit summary
File:Equational Inference Collect ab, ac, bc ISW.jpg
no edit summary
File:Equational Inference Delete a, b, c ISW.jpg
no edit summary
Directory:Jon Awbrey/MathJax Problems
Two-thirds majority function
Directory:Jon Awbrey/MathJax Problems
delete last section
-910
Directory:Jon Awbrey/MathJax Problems
add problem section
+17,534
Directory:Jon Awbrey/MathJax Problems
add user work page
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
* '''Note.''' The MathJax parser is not rendering this page properly.<br>Until it can be fixed please see the [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems InterSciWiki version].
+218
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Two-thirds majority function: try to fix MathJrx problem
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Two-thirds majority function: trry to fic MathJrx pronlem
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Axioms: use double bar ═════ to work around MathJerx problem
+12
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Axioms: fix latex problem : use double bar <math>=\!=\!=\!=</math>
-44
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
update + waybak links
+7,091
29 October 2016
30 September 2016
23 September 2016
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
try to re-render mathjax
+4
Directory:Jon Awbrey/Papers/Information = Comprehension × Extension
update
+27,714
13 September 2016
20 August 2016
9 August 2016
28 July 2016
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Test
-6
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Test
+6
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
no edit summary
-6
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Test
+6
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Test
-6
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
Test
+6
Minimal negation operator
* '''Note.''' The MathJax parser is not rendering this page properly.<br>Until it can be fixed please see the [http://intersci.ss.uci.edu/wiki/index.php/Minimal_negation_operator InterSciWiki version].
Minimal negation operator
* '''Note.''' The MathJax parser is not rendering this page properly.<br>Until it can be fixed please see the [http://intersci.ss.uci.edu/wiki/index.php/Minimal_negation_operator InterSciWiki version].
+203
27 July 2016
13 March 2016
30 January 2016
18 December 2015
17 December 2015
16 December 2015
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
update
+1,067
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
update
+506
14 December 2015
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
update
+1,574
File:Cycle of Inquiry.jpg
Jon Awbrey uploaded a new version of "File:Cycle of Inquiry.jpg"
File:Dewey's Sign of Rain Example.jpg
Jon Awbrey uploaded a new version of "File:Dewey's Sign of Rain Example.jpg"