On the Logical Classification of Integer Data

We study the issues of using a discrete apparatus (the logical methods of integer data analysis) for the problem of supervised classification. Three main directions of logical classification are considered, represented by the methods of Correct Voting Procedures, as well as the methods of Logical Analysis of Data and Formal Concept Analysis. A general scheme for describing logical classifiers using the terminology of Correct Voting Procedures is proposed.