Вопросы реализации логического вывода в системах альтернатив С.Ю. Соловьев Matematiceskie issledovanija