|
Программные системы: теория и приложения, 2016, том 7, выпуск 1, страницы 99–115
(Mi ps206)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Математические основы программирования
Непарадоксальное логическое следование и проблема решения МЛ-уравнений
Ю. М. Сметанин Удмуртский государственный университет
Аннотация:
Рассматривается $\#P$-полная задача вычиcления всех выполняющих подстановок для логического уравнения $F(x_1, x_2,\ldots , x_n)=1$. Предлагается новый способ ее решения за счет приведения к задаче вычисления такого множества $U$, что $U = F(X_1, X_2,\ldots, X_n)$. Здесь $F(X_1, X_2,\ldots, X_n)$ — формула алгебры множеств, изоморфная $F(x_1, x_2,\ldots , x_n)$, и $X_n$ — заранее известные множества.
Переменные $x_n$ в логическом уравнении являются характеристическими функциями для множеств $X_n$ из второго равенства, которое названо МЛ-уравнением.
Ключевые слова и фразы:
логические уравнения, силлогистика, алгебраическая онтология, алгебраическая система, непарадоксальное логическое следование в семантическом смысле, булева алгебра.
Поступила в редакцию: 15.12.2015 Подписана в печать : 24.02.2016
Образец цитирования:
Ю. М. Сметанин, “Непарадоксальное логическое следование и проблема решения МЛ-уравнений”, Программные системы: теория и приложения, 7:1 (2016), 99–115
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ps206 https://www.mathnet.ru/rus/ps/v7/i1/p99
|
Статистика просмотров: |
Страница аннотации: | 157 | PDF полного текста: | 48 | Список литературы: | 35 |
|