Accession Number : AD0744350

Title :   Predicate Calculus with 'Undefined' as a Truth-Value,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : McCarthy,John

Report Date : 22 MAR 1963

Pagination or Media Count : 5

Abstract : The author would like to use predicate calculus in the mathematical theory of computation. In particular, the author would like to write formulas involving recursively defined predicates and functions. The trouble is that recursively defined predicates are not guaranteed to be defined for all values of their arguments, and therefore, it is not clear how to interpret formulas involving them. The author gives an interpretation of predicate calculus formulas involving partial predicates and extends the notions of truth, valid formula and tautology. (Author)

Descriptors :   (*MATHEMATICAL LOGIC, OPERATORS(MATHEMATICS)), SET THEORY, TABLES(DATA), ARTIFICIAL INTELLIGENCE

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE