An approach to defining abstractions, refinements and enrichments
D.G. Kourie · Unisa Institutional Repository (University of South Africa) · 1989
A proposal for defining abstractions and refinements is given in terms of three-valued logic applied to a domain of discourse consisting of a property and an entity set. Definitions for several related concepts flow naturally from these, including possible orderings on refinements and abstractions, as well as the notions of non-determinism, enrichment and base abstractions.