| We define the partial models as the models of 3-valued logic. The Kleene semantics for the first-order language is given. Some algebraic relations between p-models, such as isomorphism, homomorphism and extension, are discussed. Us-ing the method of diagram, we give another description of these relations. The fixed point theorem is proved for certain operators on p-models. |
