|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О разрешимости релевантной системы RAстатья
- Автор: Попов В.М.
- Сборник: Методы логического анализа
- Год издания: 1977
- Место издания: Наука Москва
- Первая страница: 109
- Последняя страница: 112
- Аннотация: В статье дается положительный ответ на вопрос о разрешимости проблемы разрешения для пропозициональной части релевантной системы RA, для чего применяется, по совету В.А. Смирнова, техника С. Крипке, использованная для импликативных систем с отрицанием в работе Н.Д. Белнапа и И.Р. Уоллеса.
- Добавил в систему: Попов Владимир Михайлович