логика, логика, развиваемая в соответствии с принципами т. н. конструктивного направления , отличающимися требованием конструктивности (возможности эффективного построения) объектов, существование которых утверждается в высказываниях (предложениях). См. Конструктивные объекты .
Лит. см. при ст. Логика .