|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Логические расширения оператора параметрического замыкания
С. С. Марченков МГУ им. М.В. Ломоносова
Аннотация:
В обзоре рассматриваются все логические расширения оператора параметрического замыкания — расширения, которые получаются внесением в язык параметрического замыкания произвольных логических связок либо квантора общности. Помимо собственно оператора параметрического замыкания образуются операторы позитивного и импликативного замыкания, а также оператор замыкания с полной системой логических связок и конъюнктивно-кванторный оператор замыкания. Приводятся основные факты о классификациях множеств $P_k$, порождаемых данными операторами.
Ключевые слова:
оператор параметрического замыкания, логическое расширение оператора замыкания.
Статья поступила: 09.04.2022
Образец цитирования:
С. С. Марченков, “Логические расширения оператора параметрического замыкания”, Дискрет. матем., 34:3 (2022), 52–62; Discrete Math. Appl., 33:6 (2023), 371–379
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1711https://doi.org/10.4213/dm1711 https://www.mathnet.ru/rus/dm/v34/i3/p52
|
Статистика просмотров: |
Страница аннотации: | 215 | PDF полного текста: | 49 | Список литературы: | 51 | Первая страница: | 8 |
|