Accession Number:

AD0742751

Title:

Two Papers on Partial Predicate Calculus

Descriptive Note:

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1972-04-01

Pagination or Media Count:

51.0

Abstract:

These papers, published in 1938 and 1943, contain the first treatment of a logic of partial predicates. The papers translated are titled A Three- Valued Logical Calculus and Its Application to The Analysis of Contradictions 1938 and, On the Consistency of a Three-Valued Logical Calculus, 1943

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE