Abstract

It was noted recently in [4] that the definitions in a certain system of protothetic cease to be creative if one extends the rule of substitution so that direct substitution of the so called incomplete expressions for functor variables becomes possible. However, precise formulations were omitted in [4]. Here, we describe the new rule in some details and formulate some relevant theorems. For more circumstantial discussion, see [5]