12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 02:05, 18 May 2013
, 02:05, 18 May 2013→Current Work
<br>
<br>
The semiotic equivalence relation given by <math>\operatorname{Con}^1 (L_\text{A})\!</math> for interpreter <math>\text{A}\!</math> has the following semiotic equations.
{| cellpadding="10"
{| cellpadding="10"
and the semiotic partition: <math>\{ \{ {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime} \} , \{ {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \} \}\!</math>.
and the semiotic partition: <math>\{ \{ {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime} \} , \{ {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \} \}\!</math>.
The semiotic equivalence relation given by <math>\operatorname{Con}^1 (L_\text{B})\!</math> for interpreter <math>\text{B}\!</math> has the following semiotic equations.
{| cellpadding="10"
{| cellpadding="10"
