КОНСТРУКТИ́ВНАЯ ЛО́ГИКА

КОНСТРУКТИ́ВНАЯ ЛО́ГИКА, ло­ги­ка, раз­ви­ваю­щая­ся в со­от­вет­ст­вии с прин­ци­пами т. н. кон­ст­рук­тив­но­го на­прав­ле­ния в ма­те­ма­ти­ке, где тре­бу­ет­ся кон­ст­рук­тив­ность объ­ек­тов (воз­мож­ность их эф­фек­тив­но­го по­строе­ния), су­ще­ст­во­ва­ние ко­то­рых ут­вер­жда­ет­ся в кон­ст­рук­тив­ной ма­те­ма­ти­ке.