Page history
10 November 2016
9 November 2016
8 November 2016
delete note ... seems to be parsing passably enough ...
-218
apply fix
-15
try fix
-15
try fix
-90
→Proof as semiosis: work around for MathJax's inconsistent treatment of "~" in different environments
→Proof as semiosis: MathJax treats "~" in \mathem as blank space but as printing character in \texttt
→Proof as semiosis: MathJax treats ~'s in \texttt{ } as printing character rather than blank space
→Analysis of contingent propositions: a bare lobe expression like <math>\texttt{(} \_ \texttt{,} \_ \texttt{,} \ldots \texttt{)},\!</math>
+47
→Analysis of contingent propositions: mathjax treats ~'s in
→Logic as sign transformation: “there be oracles”
+12
→Logic as sign transformation: “meaning”
+12
6 November 2016
copy fix(?) from worlk page
+87
* '''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
→Two-thirds majority function: try to fix MathJrx problem
→Two-thirds majority function: trry to fic MathJrx pronlem
→Axioms: use double bar ═════ to work around MathJerx problem
+12
→Axioms: fix latex problem : use double bar <math>=\!=\!=\!=</math>
-44
update + waybak links
+7,091
2 July 2013
27 April 2013
→Fundamental evaluation rule
+8
→Fundamental evaluation rule: clarify
+35
→Discussion: fix typo
-1
→Fundamental evaluation rule: add caption [Fundamental Evaluation Rule]
→Additional evaluation rules: add caption [Setup/Spike Evaluation Rule]
→Additional evaluation rules: add figures
+2,939
→Formal extension : Cactus calculus: add [additional evaluation rules]
+70
30 October 2011
1 October 2010
→Praeclarum theorema : Proof by CAST: re-format
→Discusssion: re-format
+88
→Axioms: fix typo
→Formal development: re-format
+24
28 September 2010
→Standard Upper Ontology (Mar–Apr 2001): adjust link
→Variations on a theme of transitivity: re-number figures & tables
+5
27 September 2010
renumber figures
-133
del empty line
-1
Trying to help printing format (2)
+1
Trying to help printing format
+16
→Two-thirds majority function: re-number equations & figures
+3
→C3. Dominant form theorem: replace JPG with PNG
-12
→C2. Generation theorem: replace JPG with PNG
-7
→C1. Double negation: replace JPG with PNG
-10
→Peirce's law: replace JPG with PNG
+14
→Praeclarum theorema: split up monolithic graphic + proof animation + re-number figures
+1,475
→Peirce's law: split up monolithic graphic + proof animation + re-number figures
+1,239
→C3. Dominant form theorem: split up monolithic graphic + proof animation + re-number figures
+883
