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