The formal specification of logical concepts on substitutional operations algebra language is executed. Knowledge about logical facilities, that is arrived at by means of logical concepts identification, increases reliability of these facilities. Actuality of logical concepts identification is determined by practical importance of formal models of these concepts for the theory of intellect.
theory of intelligence, algebras of finite predicates and predicate operations
"O lohycheskoi ydentyfykatsyy nachalnыkh matematycheskykh poniatyi" [About the algebra-logic concepts description task],
Information Processing Systems,