|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Разрешимость одно-переменных итеративных пропозициональных исчисленийстатья
- Автор: Боков Г.В.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 19
- Номер: 2
- Год издания: 2015
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 125
- Последняя страница: 134
- Аннотация: В работе рассматриваются одно-переменные итеративные пропозициональные исчисления, представляющие собой конечные множества пропозициональных формул от одной переменной вместе с операцией modus ponens и операцией суперпозиции, заданной множеством операций Мальцева. Для таких исчислений проведено сведение проблемы выводимости формул к проблеме вывода слов в линейных канонических системах. В частности, показано, что все одно-переменные итеративные пропозициональные исчисления разрешимы.
- Добавил в систему: Боков Григорий Владимирович