Nahum Ochoa

Two-Sided Constraints on a Valued Lattice

A declaration on a finite bounded lattice is a pair of subsets: descriptions a state must reach, and descriptions it must not exceed. When both cannot hold, no state satisfies it, and a state is charged its shortfall against the demand and its overshoot beyond the limit. That cha...