ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
В докладе приведен сопоставительный анализ систем логики высказываний, цель которых - приблизить понятие следования к содержательному выводу следствий из посылок в естественном языке.