Accession Number:

AD0691788

Title:

A MACHINE-ORIENTED FORMULATION OF THE EXTENDED FUNCTIONAL CALCULUS,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1969-01-01

Pagination or Media Count:

45.0

Abstract:

The Extended Functional Calculus EFC, a three-valued predicate calculus intended as a language in which to reason about the results of computations, is described in some detail. A formal semantics is given. A machine-oriented axiomless inference system for EFC is then described and its completness relative to the semantics is proved by the method of Semantic Trees. Finally some remarks are made on efficiency. Author

Subject Categories:

  • Linguistics
  • Theoretical Mathematics
  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE