12,080
edits
Changes
Directory:Jon Awbrey/MathJax Problems (view source)
Revision as of 18:51, 6 November 2016
, 18:51, 6 November 2016→Formal extension : Cactus calculus: try non-escaped underscore chars in \texttt
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. 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, treating <math>\texttt{(_)}\!</math> as the ''[[minimal negation operator]]'' of order 1, and adding another such operator for each integer parameter greater than 1. Taken in series, the minimal negation operators are symbolized by parenthesized argument lists of the following shapes: <math>\texttt{(_)},\!</math> <math>\texttt{(_, _)},\!</math> <math>\texttt{(_, _, _)},\!</math> and so on, where the number of argument slots is the order of the reflective negation operator in question.