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