Исследована и решена проблема представления основных постулатов диаграммной логики в виде математических теорем подходящей аксиоматической теории.
Литература: 1. Мальцев А.И. Исследования в области математической логики. Избранные труды. Т.2. Математическая логика и общая теория алгебраических систем. Москва, Наука, 1976, С.5-16. 2. Денисов А.С. Диаграмма однородной модели. В кн.: XI-я Межреспубликанская конференция по математической логи- ке (тезисы). Казань 1992 с.51. 3. Denisov A.S. Structural Diagrams in Mathematics. In: International Congress of Mathematicians, Abstracts of Short Communications, Zurich (Switzerland), 1994, p.1.