|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Proto-Entailment in RS-Logicдоклад на конференции
- Автор: Зайцев Д.В.
- Конференция : Открытый Российско-Финский коллоквиум по логике
- Даты проведения конференции: 2012
- Тип доклада: не указан
- Докладчик: Зайцев Д.В.
- Место проведения: Санкт-Петербург, Россия, Russia
-
Аннотация доклада:
Предлагается формальная экспликация отношения прото-следования, введенного В.И. Шалоком, средствами логики рационального субъекта
- Добавил в систему: Зайцев Дмитрий Владимирович