|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Математические основы программирования
Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа
Ю. М. Сметанин Удмуртский государственный университет
Аннотация:
В работе обосновывается, что, в случае, когда постановка
задач верификации рассуждений использует понятие соответствия, можно проверять логическое следование, не применяя логический вывод. При этом удобно использовать исчисление конституентных множеств и постановку задач в логике ${L_{{s_2}}}$ [1].
На примерах показано, что для логики предикатов, верификацию логического следования можно проводить с использованием простых рассуждений с на основе соответствия Галуа.
Ключевые слова и фразы:
логические уравнения, силлогистика, алгебраическая онтология, алгебраическая система, непарадоксальное логическое следование, булева алгебра, соответствие Галуа.
Поступила в редакцию: 26.03.2017 Подписана в печать : 05.06.2017
Образец цитирования:
Ю. М. Сметанин, “Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа”, Программные системы: теория и приложения, 8:2 (2017), 69–93
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ps263 https://www.mathnet.ru/rus/ps/v8/i2/p69
|
Статистика просмотров: |
Страница аннотации: | 139 | PDF полного текста: | 43 | Список литературы: | 23 |
|