Канонические расширения в логике: основные результаты и примеры использования