A principle objective of the project is to establish theories which can be used to describe properties of physical systems which are important to some class of computer applications. The initial task is to identify the essential conceptual vocabulary used in describing and reasoning about some aspect of physical systems.
Once a vocabulary of properties and relations has been singled out as important for some class of applications, we must then analyse the logical connections between the various terms in the vocabulary. In particular we must determine whether certain terms can be defined in terms of other terms. We can then reduce the vocabulary to a small number of primitive concepts and relations, by means of which the whole vocabulary can be defined. Axioms governing the logical properties of the primitives must also be specified.