##
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