|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Секвенциальное представление и семантика системы V1 А.Аррудастатья
- Автор: Попов В.М.
- Журнал: Труды научно-исследовательского семинара Логического центра Института философии РАН
- Том: 13
- Год издания: 1999
- Первая страница: 131
- Последняя страница: 133
- Аннотация: Предлагается секвенциальная формулировка генценовского типа паранепротиворечивой системы V1, которая, по мнению А.Арруда, является одной из возможных формализаций логических идей Н.А.Васильева. Для этой системы строится семантика обобщенных описаний состояний в духе Е.К.Войшвилло.
- Добавил в систему: Попов Владимир Михайлович