
Accession Number : AD0744350
Title : Predicate Calculus with 'Undefined' as a TruthValue,
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