Two Papers on Partial Predicate Calculus
D. A. Bochvar · Defense Technical Information Center (DTIC) · 1972
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)