  The book is devoted to the study of the field of application of the method,
which arose from the concept of the Lindenbaum matrix by A. Lindenbaum and the
Lindenbaum theorem, within the framework of the concept of a consequence
relation by A. Tarski and in the context of the conception of separating tools
by A. Kuznetsov. The unifying term Tarski-Lindenbaum method is intended to
refer to the first two headings as the key topics of this study. Our
implementation of the Tarski-Lindenbaum method aims to emphasize the role of
the conception of separating tools.
