Формализация и сравнительный анализ основных систем пропозициональной квазиматричной логикитезисы доклада