Changes

Directory:Jon Awbrey/MathJax Problems (view source)

Revision as of 18:45, 6 November 2016

1 byte removed , 18:45, 6 November 2016

→‎Formal extension : Cactus calculus: try <math>\texttt{(_)}\!</math>

Line 473: Line 473:

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. It is generated by generalizing the negation operator <math>\texttt{(\_)}\!</math> in a particular manner,

+

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,

Jon Awbrey

12,080

edits