Дедуктивные системы с утончениямистатья