The derivable rules of axiomatic extensions of sequent calculi with structural rules for the
prepositional finitely valued logics with an equality determinant are analyzed with the use of
methods of logic programming.
A dynamic process, whose function of state is a product of its linear transformations, is examined. An integral representation of the rootmean-square inversion approximation of such a
function is built for the case of ...