Logic of 'classes and binary relations' models: I

摘要

Conceptual models with two types of concepts-classes and binary relations-are considered. A formalism for the logical specification of such models is introduced. In the first part of the work, The denota- Tive semantics of the formalism is described; in the second part, the operational semantics, which is the basis Of a complete method of logical inference, is considered.