RUS  ENG
Полная версия
ЖУРНАЛЫ // Фундаментальная и прикладная математика

Фундамент. и прикл. матем., 1999, том 5, выпуск 3, страницы 903–926 (Mi fpm422)

О новой константе в интуиционистской логике высказываний
А. Д. Яшин

Эта публикация цитируется в следующих статьяx:
  1. А. К. Кощеева, “Новые константы в предтабличных суперинтуиционистских логиках: подход П. C. Новикова”, Изв. ИМИ УдГУ, 2016, № 1(47), 3–33  mathnet  elib
  2. А. К. Кощеева, “Новая константа в суперинтуиционистской логике $L3$”, Алгебра и логика, 54:1 (2015), 34–52  mathnet  crossref  mathscinet; A. K. Koshcheeva, “A new constant in superintuitionistic logic $L3$”, Algebra and Logic, 54:1 (2015), 23–35  crossref  isi
  3. А. К. Кощеева, “Аксиоматика полных по П. С. Новикову расширений суперинтуиционистской логики $L2$ в языке с одной дополнительной константой”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2014, № 3, 28–39  mathnet
  4. А. Д. Яшин, А. К. Кощеева, “Новые константы в суперинтуиционистской логике $L2$”, Матем. заметки, 94:6 (2013), 918–932  mathnet  crossref  mathscinet  zmath  elib; A. D. Yashin, A. K. Koshcheeva, “New Constants in the Superintuitionistic Logic $L2$”, Math. Notes, 94:6 (2013), 938–950  crossref  isi  elib
  5. А. Д. Яшин, “О новых константах в двух предтабличных суперинтуиционистских логиках”, Алгебра и логика, 50:2 (2011), 246–267  mathnet  mathscinet  zmath; A. D. Yashin, “New constants in two pretabular superintuitionistic logics”, Algebra and Logic, 50:2 (2011), 171–186  crossref  isi
  6. А. Д. Яшин, “Полные по Новикову логики: метод перевода”, Алгебра и логика, 43:3 (2004), 364–378  mathnet  mathscinet  zmath; A. D. Yashin, “Novikov Complete Logics: Translation Techniques”, Algebra and Logic, 43:3 (2004), 205–214  crossref
  7. А. Д. Яшин, “Классификация полных по Новикову логик с дополнительными логическими константами”, Алгебра и логика, 42:3 (2003), 366–383  mathnet  mathscinet  zmath; A. D. Yashin, “Classification of Novikov Complete Logics with Extra Logical Constants”, Algebra and Logic, 42:3 (2003), 207–216  crossref


© МИАН, 2025