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