Финитарное семантическое следование для базисной и формальной логик А. Виссера: алгоритмический аспекттезисы доклада