Поиск натурального вывода в системах негативной силлогистики

Abstract

The paper presents an algorithm, dealing with process of natural deduction in the systems of negative syllogistic of different styles, i.e. Aristotelian, fundamental, traditional, etc. The rules of inference in a system under investigation are defined by the user. Thus the algorithm can be considered as a synthesis of so called proof checkers and automatic systems of natural deduction. Such an approach allows using genetic method to make the proposed algorithm applicable to a wide class of formal syllogistics.