Mechanizing the Traditional Approach to Partial Functions William M. Farmer 1996 Abstract In traditional mathematics it is legitimate to apply a (partial) function to an argument outside of its domain, but the resulting term is treated as having no value. Moreover, the informal logic of traditional mathematics is two-valued despite the presence of nondenoting terms. This paper shows how this traditional approach to partial functions can be implemented in mechanized mathematics systems.