Формализация свойств интерпретируемых лингвистических шкал и термов нечетких моделей