Обозначение для конструктивной арифметики

[nikov]

Арифметику Пеано часто обозначают $PA$. Есть ли распространенное обозначение для арифметики без закона исключенного третьего?

[Someone]

Интуиционистская (гейтинговская) арифметика устроит? Её обозначают HA. Источник:

А.С.Трулстра. Аспекты конструктивной математики. В сборнике "Справочная книга по математической логике. Часть IV. Теория доказательств и конструктивная математика". Москва, "Наука", 1983. Стр. 160 - 240.

Обозначение вводится в начале § 3.

[nikov]

Спасибо!