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