Наименьшие неподвижные точки в логике Гжегорчика и интуиционистской пропозициональной логике С.И. Мардаев — 1993 Algebra i Logika
О числе предлокально-табличных суперинтуиционистских пропозициональных логик. С.И. Мардаев — 1984 Algebra i Logika
О сходимости позитивных схем S4 и Int С.И. Мардаев; S. I. Mardaev; S. I. Mardaev; S. I. Mardaev — 1994 Algebra i Logika
Негативные модальные схемы. С.И. Мардаев; S. I. Mardaev; S. I. Mardaev; S. I. Mardaev — 1998 Algebra i Logika