On the local coordination of fuzzy valuations

Исследуется теоретико-модельная формализация семантической модели предметной области. Рассматривается понятие нечеткой модели, т. е. модели, на которой истинностная функция обладает свойствами нечеткой меры. Показывается, что нечеткая модель является обобщением понятия фазификации прецедентной (семантической) модели на случай счетного числа прецедентов. Вводятся понятия согласованного и локально согласованного означивания множества предложений, доказываются теоремы об интервалах и аналог теоремы компактности.