|
17
Поступила в редакцию 26.03.2017
Подписана в печать
05.06.2017
25 с.
/r2/pdf.jpg)
PDF |
Ю. М.
Сметанин
Верификация логического следования с использованием исчисления
конституентных множеств и соответствий Галуа
В работе обосновывается, что, в
случае, когда постановка задач верификации рассуждений использует
понятие соответствия, можно проверять логическое следование, не
применяя логический вывод. При этом удобно использовать исчисление
конституентных множеств и постановку задач в логике LS2
[1]. На примерах показано, что для логики предикатов, верификацию
логического следования можно проводить с использованием простых
рассуждений с на основе соответствия Галуа.
Ключевые слова: логические уравнения, силлогистика, алгебраическая
онтология, алгебраическая система, непарадоксальное логическое
следование, булева алгебра, соответствие Галуа. |
/r1/pdf.jpg){kind=small}
.