Bezkwantyfikatorowy założeniowy system rachunku zdań. Część druga

Abstrakt

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.