Новая регулярная константа в интуиционистской логике высказываний

В связи с понятиями новой интуиционистской логической константы и полной $\varphi$-логики (введенными П. С. Новиковым) рассматривается $\varphi$-логика $\operatorname{Reg}$, определяющая новую регулярную константу. $\operatorname{Reg}$ характеризуется классом конечных регулярных $\varphi$-шкал, является финитно аппроксимируемой и конечно аксиоматизируемой, имеет дизъюнктивное свойство. Показано, что $\operatorname{Reg}$ имеет единственное полное по П. С. Новикову расширение $\operatorname{Reg}^+$. Это расширение также финитно аппроксимируемо и конечно аксиоматизируемо. Доказано, что $\operatorname{Reg}^+$ – единственная полная по П. С. Новикову $\varphi$-логика, определяющая новую регулярную константу.
Ил. 2.
Библиогр. 11.