Нестандартные переводы позитивных силлогистик в исчисление предикатовдоклад на конференции