Verification of logical consequence, using the calculus of constituent sets and correspondences of Galois
Юрий Михайлович Сметанин · Program systems theory and applications · 2017
Ю. М. Сметанин Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа Аннотация.В работе обосновывается, что, в случае, когда постановка задач верификации рассуждений использует понятие соответствия, можно проверять логическое следование, не применяя логический вывод.При этом удобно использовать исчисление конституентных множеств и постановку задач в логике 𝐿𝑠 2 [1].На примерах показано, что для логики предикатов, верификацию логического следования можно проводить с использованием простых рассуждений с на основе соответствия Галуа.Ключевые слова и фразы: логические уравнения, силлогистика, алгебраическая онтология, алгебраическая система, непарадоксальное логическое следование, булева алгебра, соответствие Галуа. ВведениеРассматриваются вопросы верификации логического следования в семантическом смысле между ППФ неклассической пропозициональной многозначной логики 𝐿 𝑠2 [1, 2], атомарные суждения которой представлены (1).где 𝑈 -универсум.При этом равносильности (2-4) выражают семантику трех первых атомарных суждений.