Reports on Mathematical Logic

No. 33


Teodor STEPIEN

DERIVABILITY

A b s t r a c t. The basic notion connected with the structural completness is the notion of derivability. Thus in this paper we give a sufficient and necessary condition of derivability of any structural and permissible rules in an arbitrary but fixed over-system of the classical predicate calculus. In consequence we estabilish the scope of the structural completeness in the class of all over-system of the classical predicate calculus.


Back to Main Menu