ИНТУИЦИОНИСТСКАЯ ЛОГИКА - логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.