Functional Semantics

(MV-Network)

(MV-Network)

Network of MV-nodes

Each variable *x**n *has
its own range

{0, 1,…, |*p**n*|-1}

{0, 1,…, |

Values are treated uniformly

MV-literal: x{0,2}

MV-cube: x{0,2}z{0,1}

MV-relation at each node (can be non-deterministic)

0-set: F{0} = u{0} v{0} + u{0} v{1} w{0,1}

F(u,v,w): {0,1} x {0,1,2} x {0,1,2} ®{0,1,2}*
*

2-set: F{2} = u{1} v{1,2} + u{1} v{0} w{1,2}*
*

1-set: F{1} = <default>*
*

Each output value is called an *i-set*