Стукачева Марина Викторовна

Публикации в базе данных Math-Net.Ru

1. О канонических формулах паранепротиворечивого аналога логики Скотта
   
   Алгебра и логика, 48:4 (2009),  495–519
2. О моделях паранепротиворечивой логики с аксиомами Крайзеля–Патнема и Скотта
   
   Сиб. электрон. матем. изв., 5 (2008),  407–416
3. О канонических формулах для расширений минимальной логики
   
   Сиб. электрон. матем. изв., 3 (2006),  312–334
4. Некоторые замечания о конструктивных расширениях минимальной логики
   
   Вестн. НГУ. Сер. матем., мех., информ., 5:3 (2005),  75–88
5. О дизъюнктивном свойстве в классе паранепротиворечивых расширений минимальной логики
   
   Алгебра и логика, 43:2 (2004),  235–252