A Quantifier-less Suppositional System of the Calculus of Names. Part II

Abstract

The restrictions occurring in the formulations of the rules of adding and omitting the constants π and σ in the suppositional proofs of the theses of the suppositional system of the calculus of names are simplified. Various theorems containing these constants are proved, among others the theorems corresponding to the basic theses for quantifiers with a limited range in the predicate calculus.