Partial Logic as a Simple Restriction of Standard Logic

摘要

The concise axiomatization of partial logic, which appears to be a simplerestriction of ordinary first order predicate logic, is given. Its semantics are formulated as a natural adaptation of ordinary Tarski semantics of the first order logic, and the soundness and completeness of the system are proved. The logic is well suited to describe partial functions. A first order formulation of the lambda calculus is given as an example.