|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Булевозначный универсум как алгебраическая система. I. Основные принципы
А. Е. Гутманab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Исследуются булевозначные алгебраические системы теоретико-множественной сигнатуры. Развит аппарат частичных элементов булевозначначной системы. Приведен формальный механизм использования частичных элементов и булевозначных классов в оценках истинности формул. Исследованы предикативные булевозначные классы, допускающие квантификацию. Описаны логические взаимосвязи между основными свойствами булевозначных систем — принципами подъема, перемешивания и максимума.
Ключевые слова:
булевозначная алгебраическая система, теория множеств, булевозначный анализ.
Статья поступила: 20.07.2019 Окончательный вариант: 20.07.2019 Принята к печати: 24.07.2019
Образец цитирования:
А. Е. Гутман, “Булевозначный универсум как алгебраическая система. I. Основные принципы”, Сиб. матем. журн., 60:5 (2019), 1041–1062; Siberian Math. J., 60:5 (2019), 810–827
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3132 https://www.mathnet.ru/rus/smj/v60/i5/p1041
|
Статистика просмотров: |
Страница аннотации: | 253 | PDF полного текста: | 71 | Список литературы: | 26 | Первая страница: | 1 |
|