О дедуктивных системах комбинаторной логики с каноническими ограничениями Карристатья