MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search
1 byte removed
, 18:45, 6 November 2016
Line 473: |
Line 473: |
| 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, |