|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Вариант классического натурального исчисления высказываний с упрощенной процедурой поиска выводатезисы доклада
- Автор: Маркин В.И.
- Сборник: Современная логика: Проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции, 26-28 июня 2008 г
- Серия: Современная логика
- Тезисы
- Год издания: 2008
- Место издания: СПбГУ СПб
- Аннотация: Предлагается вариант классического субординатного натурального исчисления высказываний с нестандартным правилом введения дизъюнкции, описываются процедуры поиска вывода, опирающиеся на наличие данного правила в системе постулатов.
- Добавил в систему: Маркин Владимир Ильич