On resolution strategies in fuzzy logic

В статье изучены резолюционные стратегии в нечеткой логике. По аналогии с классической логикой, введены некоторые стартегии вычета в нечеткой логике, направленные на сужение пространства поиска вычета. Вводится, например, семантическая резолюция, рассматриваются некоторые частные случаи. Доказывается полнота этих стратегий.