Two Papers on Partial Predicate Calculus

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1972
Accession Number
AD0742751

Entities

People

  • D. A. Bochvar

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Ambiguity
  • Artificial Intelligence
  • Calculus
  • Computer Science
  • Consistency
  • Construction
  • Formal Languages
  • Functional Analysis
  • Humanities
  • Identities
  • Language
  • Literature
  • Logic
  • Mathematical Logic
  • Mathematics
  • Natural Languages
  • Sequences

Readers

  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design