Advertisement
Vormanax

Untitled

Mar 1st, 2017
177
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.56 KB | None | 0 0
  1. let A := {[],[\],[X]}
  2. let B := {appliances of the twitch card}
  3. let I be the set of real intervals
  4. let phi: A -> I
  5. [] |-> [0, 1)
  6. [\] |-> [1, 2)
  7. [X] |-> [2, infinite)
  8.  
  9. let Z be a set of interpretations how strongly an aspect applies
  10. let psi: R+ -> Z be a function for which applies:
  11. let (a,b), (c,b) element R+
  12. let c > a
  13. -> psi(c) applies more strongly than psi(a)
  14. let xi: A x B -> Z x B
  15. (z, b) |-> (psi(a), b) for an unknown a element phi(z)
  16. this leaves xi not well defined, which is in nature of the problem
  17.  
  18. xi is what you were asking for
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement