Abstract. This is a continuation of the investigation on the partial elementary logic system introduced in [Wo97] to provide a basis for the construction of cylindric algebras describing properties of partial relations. We show the relationship between partial logic and classic elementary logic. We prove that classic logic is, in some general model-theoretic sense, interpretable in partial logic, but not vice versa. Moreover, we present --- via a theorem on the correspondence of models --- some close connections between models of partial and classic logics as well as between their theories.
AMS Subject Classification
(1991): 03B60; 03C07, 03C52, 91A05, 91A80
first order logic,
Boolean algebras of formulas,
Received February 22, 2010. (Registered under 13/2010.)