1. Пов’язаний з суперінтуїціонізмом — логічною системою, яка є розширенням інтуїціоністської логіки за рахунок додавання нових аксіом або правил виведення.
2. Характерний для суперінтуїціоністської логіки, що є проміжною між класичною та інтуїціоністською логікою.