Многозначная логика и теория моделейстатья