|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Комбинаторы и импликативные формулыстатья
- Автор: Зайцев Д.В.
- Журнал: Труды научно-исследовательского семинара Логического центра Института философии РАН
- Том: 14
- Год издания: 2000
- Первая страница: 42
- Последняя страница: 53
- Аннотация: Работа выполнена в русле исследований А.С.Карпенко по классификации импликативных логик. Основная задача статьи - предложить механизм классификации неклассических импликативных логик на основе теории комбинаторов Х.Карри.
- Добавил в систему: Зайцев Дмитрий Владимирович