12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 19:36, 4 May 2012
, 19:36, 4 May 2012→6.11. Higher Order Sign Relations : Application: markup
Line 2,568:
Line 2,568:
If Q follows rules that are typical of many species of interpreters, then the value of this expression will depend on the values of the following three expressions:
−
|}
|}
−<pre>
+If <math>Q\!</math> follows rules that are typical of many species of interpreters, then the value of this expression will depend on the values of the following three expressions:
−De ("De", Q),
+{| align="center" cellspacing="8" width="90%"
−De ("q" , Q),
+|
−De ("R" , Q).
+<math>\begin{array}{lccc}
+\operatorname{De}( & {}^{\backprime\backprime} \operatorname{De} {}^{\prime\prime} & , & Q)
+\\[6pt]
+\operatorname{De}( & {}^{\backprime\backprime} q {}^{\prime\prime} & , & Q)
+\\[6pt]
+\operatorname{De}( & {}^{\backprime\backprime} L {}^{\prime\prime} & , & Q)
+\end{array}</math>
+|}
+<pre>
What are the roles of the signs "De", "q", "R" and what are they supposed to mean to Q? Evidently, "De" is a constant name that refers to a particular function, "q" is a variable name that makes a PIR to a collection of signs, and "R" is a variable name that makes a PIR to a collection of sign relations.
What are the roles of the signs "De", "q", "R" and what are they supposed to mean to Q? Evidently, "De" is a constant name that refers to a particular function, "q" is a variable name that makes a PIR to a collection of signs, and "R" is a variable name that makes a PIR to a collection of sign relations.
