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