Разрешимые подъязыки теории множеств
 | Тема этой статьи может не соответствовать общему руководству Википедии по значимости . ( май 2021 г. ) |
В математической логике разрешимы различные подъязыки теории множеств . [1] [2] К ним относятся:
- Множества с монотонными, аддитивными и мультипликативными функциями. [3]
- Наборы с ограниченными квантификаторами. [4]
Ссылки
- ^ Кантоне, Д., Э.Г. Омодео и А. Поликрити, «Теория множеств для вычислений. От процедур принятия решений к логическому программированию с использованием множеств», Монографии по информатике, Springer, 2001.
- ^ "Процедуры принятия решений для элементарных подъязыков теории множеств: XIII. Графы моделей, отражение и разрешимость", Франко Парламенто и Альберто Поликрити Журнал автоматизированного рассуждения, том 7, выпуск 2 (июнь 1991 г.), страницы: 271 - 284
- ^ «Процедура принятия решений для подъязыка теории множеств, включающего монотонные, аддитивные и мультипликативные функции», Доменико Кантоне и др.
- ^ «Процедура принятия решений на основе таблиц для фрагмента теории множеств, включающая ограниченную форму квантификации», Доменико Кантоне, Калоджеро Дж. Зарба, Виале А. Дориа, 1997 [ постоянная нерабочая ссылка ]
