A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms as legitimate, nondenoting terms that can be components of meaningful statements. The traditional approach enables statements about partial functions and undefined terms to be expressed very concisely. Unfortunately, the traditional approach cannot be easily employed in a standard logic in which all functions are total and alldoi:10.1007/978-3-540-25984-8_35 fatcat:suufsb5rz5fvliywolappj4y5m