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