Материалы юбилейной научной конференции «Российской математике — триста лет»сборник

Статьи, опубликованные в сборнике

---

• • 2002 Normal modal logics with (in)finite sets of nonequivalent modalities
  • Chagrov Alexander, Chagrova A.A.
  • в сборнике Материалы юбилейной научной конференции «Российской математике — триста лет», место издания Изд-во Тверского гос. ун-та Тверь, тезисы, с. 127-139
• • 2002 Алгоритмическая проблема первопорядковой определимости интуиционистских формул на конечных шкалах Крипке
  • Чагров Александр Васильевич, Чагрова Лилия Алексеевна
  • в сборнике Материалы юбилейной научной конференции «Российской математике — триста лет», место издания Изд-во Тверского гос. ун-та Тверь, тезисы, с. 115-120
• • 2002 Суперинтуиционистские логики, консервативные относительно безымпликативных фрагментов интуиционистской логики
  • Чагров Александр Васильевич
  • в сборнике Материалы юбилейной научной конференции «Российской математике — триста лет», место издания Изд-во Тверского гос. ун-та Тверь, тезисы, с. 121-126