|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Недистрибутивные "родственники" ETL и NFLстатья
- Автор: Зайцев Д.В.
- Сборник: Второй Международный Конгресс Русского общества истории и философии науки «Наука как общественное благо». Сборник научных статей
- Том: 4
- Год издания: 2020
- Место издания: Издательство РОИФН
- Первая страница: 196
- Последняя страница: 199
- Аннотация: Предлагаетсярассмотретьнедистрибутивныелогики,родственныенедавнооткрытымлогикамETLиNFL.Описываетсябазоваяалгебраическаяструктура,представляющаясобойнижнюю(верхнюю)полурешеткусдополнительнымипостулатами,«симулирующими»недостающуюгрань.Наееосновестроитсяалгебраическаясемантикаизадаетсяееаксиоматизация.Ключевыеслова: полурешеточныелогики,недистрибутивныелогики,первоуровневаялогика.
- Добавил в систему: Зайцев Дмитрий Владимирович