Логические методы представления и исследования порядковых моделей выбора

Предлагается способ описания порядковых моделей многокритериального выбора специальными формулами логики предикатов. Это сводит задачи синтеза и анализа порядковых моделей к исследованию соответствующих формул. В этом направлении получен ряд общих результатов.