12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 02:40, 18 May 2013
, 02:40, 18 May 2013→Current Work
Line 9,093:
Line 9,093:
<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"
−| width="10%" |
−| <math>[ {}^{\langle} \text{A} {}^{\rangle} ]_\text{A}\!</math>
−| <math>=\!</math>
−| <math>[ {}^{\langle} \text{i} {}^{\rangle} ]_\text{A}\!</math>
−| width="20%" |
−| <math>[ {}^{\langle} \text{B} {}^{\rangle} ]_\text{A}\!</math>
−| <math>=\!</math>
−| <math>[ {}^{\langle} \text{u} {}^{\rangle} ]_\text{A}\!</math>
−|-
−| width="10%" | or
−| <math>{}^{\langle} \text{A} {}^{\rangle}\!</math>
−| <math>=_\text{A}\!</math>
−| <math>{}^{\langle} \text{i} {}^{\rangle}\!</math>
−| width="20%" |
−| <math>{}^{\langle} \text{B} {}^{\rangle}\!</math>
−| <math>=_\text{A}\!</math>
−| <math>{}^{\langle} \text{u} {}^{\rangle}\!</math>
−|}
−These equations induce the following semiotic partition.
−{| align="center" cellspacing="6" width="90%"
−|
−<math>
−\{
−\{ {}^{\langle} \text{A} {}^{\rangle}, {}^{\langle} \text{i} {}^{\rangle} \},
−\{ {}^{\langle} \text{B} {}^{\rangle}, {}^{\langle} \text{u} {}^{\rangle} \},
−\{ {}^{\langle\langle} \text{A} {}^{\rangle\rangle} \},
−\{ {}^{\langle\langle} \text{i} {}^{\rangle\rangle} \},
−\{ {}^{\langle\langle} \text{B} {}^{\rangle\rangle} \},
−\{ {}^{\langle\langle} \text{u} {}^{\rangle\rangle} \}
−\}.\!
−</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"
−| width="10%" |
−| <math>[ {}^{\langle} \text{A} {}^{\rangle} ]_\text{B}\!</math>
−| <math>=\!</math>
−| <math>[ {}^{\langle} \text{u} {}^{\rangle} ]_\text{B}\!</math>
−| width="20%" |
−| <math>[ {}^{\langle} \text{B} {}^{\rangle} ]_\text{B}\!</math>
−| <math>=\!</math>
−| <math>[ {}^{\langle} \text{i} {}^{\rangle} ]_\text{B}\!</math>
−|-
−| width="10%" | or
−| <math>{}^{\langle} \text{A} {}^{\rangle}\!</math>
−| <math>=_\text{B}\!</math>
−| <math>{}^{\langle} \text{u} {}^{\rangle}\!</math>
−| width="20%" |
−| <math>{}^{\langle} \text{B} {}^{\rangle}\!</math>
−| <math>=_\text{B}\!</math>
−| <math>{}^{\langle} \text{i} {}^{\rangle}\!</math>
−|}
−These equations induce the following semiotic partition.
−{| align="center" cellspacing="6" width="90%"
−|
−<math>
−\{
−\{ {}^{\langle} \text{A} {}^{\rangle}, {}^{\langle} \text{u} {}^{\rangle} \},
−\{ {}^{\langle} \text{B} {}^{\rangle}, {}^{\langle} \text{i} {}^{\rangle} \},
−\{ {}^{\langle\langle} \text{A} {}^{\rangle\rangle} \},
−\{ {}^{\langle\langle} \text{i} {}^{\rangle\rangle} \},
−\{ {}^{\langle\langle} \text{B} {}^{\rangle\rangle} \},
−\{ {}^{\langle\langle} \text{u} {}^{\rangle\rangle} \}
−\}.\!
−</math>
−|}
==Current Work==
==Current Work==
−<br>
<br>
