12,080
edits
Changes
Directory:Jon Awbrey/MathJax Problems (view source)
Revision as of 18:44, 6 November 2016
, 18:44, 6 November 2016→Formal extension : Cactus calculus: add a bit more
Let us now extend the CSP–GSB calculus in the following way:
Let us now extend the CSP–GSB calculus in the following way:
The first extension is the ''reflective extension of logical graphs'', or what may be described as the ''cactus language'', after its principal graph-theoretic data structure.
The first extension is the ''reflective extension of logical graphs'', or what may be described as the ''cactus language'', after its principal graph-theoretic data structure. It is generated by generalizing the negation operator <math>\texttt{(\_)}\!</math> in a particular manner,