ronviers
a four-valued logic in which the truth values V = {c, s, k, r} represent the canonical regimes of the constraint energy landscape
