Публикации в базе данных Math-Net.Ru
-
Новые константы в предтабличных суперинтуиционистских логиках: подход П. C. Новикова
Изв. ИМИ УдГУ, 2016, № 1(47), 3–33
-
Новая константа в суперинтуиционистской логике $L3$
Алгебра и логика, 54:1 (2015), 34–52
-
Аксиоматика полных по П. С. Новикову расширений суперинтуиционистской логики $L2$ в языке с одной дополнительной константой
Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2014, № 3, 28–39
-
Новые константы в суперинтуиционистской логике $L2$
Матем. заметки, 94:6 (2013), 918–932
© , 2026