Table of Contents:
  • Truth tables
  • Axiomatization of many-valued statement calculi
  • Foundations of the theory of quantification for many-valued logics
  • Axiomatization of many-valued predicate calculi
  • Quantification for particular predicate calculi
  • Some unsolved problems.