Go backward to Go up to TopGo forward to Domain |

Superset of propositional logic that describes *values* and
*properties* of a *domain* consisting of:

- A collection of
*values*(*objects*,*entities*). - A collection of
*functions*(*mappings*):- Takes a certain number of values (the
*arguments*); - Returns a value (the
*result*); - Number of arguments is the
*arity*of the function; - Zero-arity functions are called
*(object) constants*.

- Takes a certain number of values (the
- A collection of
*predicates*(*relations*,*properties*,*attributes*):- Takes a certain number of values (the
*arguments*); - Returns a truth value;
- Number of arguments is the
*arity*of the predicate.

- Takes a certain number of values (the

Author: Wolfgang Schreiner

Last Modification: October 6, 1999