12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 17:53, 15 May 2013
, 17:53, 15 May 2013→6.43. Reflective Extensions: markup
& = &
& = &
\operatorname{proj}_{OS} (\operatorname{Ref}^1 (L))
\operatorname{proj}_{OS} (\operatorname{Ref}^1 (L))
\\[4pt]
\\[6pt]
\operatorname{Con}^1 (L)
\operatorname{Con}^1 (L)
& = &
& = &
\end{array}</math>
\end{array}</math>
|}
|}
The dyadic components of sign relations can be given graph-theoretic representations, namely, as ''digraphs'' (directed graphs), that provide concise pictures of their structural and potential dynamic properties. By way of terminology, a directed edge <math>(x, y)\!</math> is called an ''arc'' from point <math>x\!</math> to point <math>y,\!</math> and a self-loop <math>(x, x)\!</math> is called a ''sling'' at <math>x.\!</math>
<pre>
<pre>
The denotative components Den1 (A) and Den1 (B) can be viewed as digraphs on the 10 points of the world set W. The arcs of these digraphs are given as follows:
The denotative components Den1 (A) and Den1 (B) can be viewed as digraphs on the 10 points of the world set W. The arcs of these digraphs are given as follows: