using Dijkstra's semantics -- Several extensions of truth values in fuzzy logic -- Phase