Конструктивная логика

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

? Лит. см. при ст. Логика.