User contributions
8 November 2016
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
try fix
-15
Directory:Jon Awbrey/MathJax Problems
Variations on a theme of transitivity: + \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
+14
Directory:Jon Awbrey/MathJax Problems
\overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~} + \overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
-29
Directory:Jon Awbrey/MathJax Problems
+ next problem piece
+2,003
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
try fix
-90
Directory:Jon Awbrey/MathJax Problems
Computation and inference as semiosis
+4
Directory:Jon Awbrey/MathJax Problems
nope
-3,363
Directory:Jon Awbrey/MathJax Problems
Computation and inference as semiosis: try another method
+3,363
Directory:Jon Awbrey/MathJax Problems
try this
-94
Directory:Jon Awbrey/MathJax Problems
+ next problem section
+3,430
Directory:Jon Awbrey/MathJax Problems
blank work page
-17,621
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: work around for MathJax's inconsistent treatment of "~" in different environments
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: MathJax treats "~" in \mathem as blank space but as printing character in \texttt
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: MathJax treats ~'s in \texttt{ } as printing character rather than blank space
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: a bare lobe expression like <math>\texttt{(} \_ \texttt{,} \_ \texttt{,} \ldots \texttt{)},\!</math>
+47
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: mathjax treats ~'s in
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: “there be oracles”
+12
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: “meaning”
+12
6 November 2016
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14 ISW.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-6 ISW.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-2 ISW.jpg
no edit summary
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