Содержательный и формальный выводы в логиках с векторной семантикой

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