|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Формализация неаристотелевских силлогистикстатья
- Автор: Маркин В.И.
- Сборник: Интенсиональные логики и логическая структура теорий
- Год издания: 1988
- Место издания: Мецниереба Тбилиси
- Первая страница: 137
- Последняя страница: 144
- Аннотация: Строятся исчисления, формализующие позитивные фрагменты фундаментальной силлогистики, силлогистик Больцано и Кэрролла. Доказывается погружаемость этих исчислений в классическое одноместное исчисление предикатов.
- Добавил в систему: Маркин Владимир Ильич