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