В дедуктивном анализе на основе математической логики актуальны две основные задачи: проверка правильности предполагаемого следствия и вывод следствия с предварительно заданными свойствами. Основной теоретический потенциал математической логики направлен на решение первой задачи. Что касается задачи поиска «интересных» следствий, то для нее практически отсутствуют какие-либо полезные наработки. В настоящей работе предложены методы решения задачи вычисления следствий с заданными свойствами на основе алгебры кортежей.

In deductive analysis based on mathematical logic, two main tasks are relevant: checking the correctness of the intended consequence and the conclusion of the consequence with predefined properties. The main theoretical potential of mathematical logic is aimed at solving the first problem. As for the task of finding “interesting” consequences, there are practically no useful developments for it. In this paper, we propose methods for solving the problem of calculating consequences with given properties based on the n-tuple algebra.

"Системный анализ в проектировании и управлении", международная научная и учебно-практическая конференция (25; 2021; Санкт-Петербург). Системный анализ в проектировании и управлении: сборник научных трудов XXV Международной научной и учебно-практической конференции, 13–14 октября 2021 г.: [в 3 частях]. Ч. 2 / Международная академия наук высшей школы, Санкт-Петербургское отделение [и др.]; [программный комитет конференции: Ю. С. Васильев (председатель) [и др.]; [ответственные редакторы В. Н. Козлов, А. А. Ефремов]. — Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2021. — 1 файл (2,75 Мб). — Загл. с титул. экрана. — Электронная версия печатной публикации 2021 г. — Ч. текста на англ. яз. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/i21-284.pdf>. — DOI 10.18720/SPBPU/2/i21-284. — Текст: электронный