|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Системы силлогистики, адекватные двум переводам силлогистических формул в исчисление предикатов В.А. Смирновастатья
- Автор: Маркин В.И.
- Журнал: Труды научно-исследовательского семинара Логического центра Института философии РАН
- Том: 12
- Год издания: 1998
- Первая страница: 107
- Последняя страница: 116
- Аннотация: В статье формулируются системы чистой позитивной силлогистики С1+ и С3+, которые представляют собой расширения силлогистик С1 и С3 В.А. Смирнова. Доказываются метатеоремы о погружаемости силлогистических исчислений С1+ и С3+ в классическое исчисление предикатов посредством переводов, предложенных ранее В.А. Смирновым.
- Добавил в систему: Маркин Владимир Ильич