PreciseModels

We introduce here a set of convenient tools for building JAMs, which will be formally introduced in Section 11.3. Our base logic for this section is J, with operations application “·” and sum “+” and its basic models, Definition 3.1, in which

Definition 11.1 (Precise Basic Models) A precise basic model of J(CS) is one in which the interpretation of constants is fair to CS, that is,

and closure conditions for operations are exact, that is,

11.3