Осуществлена систематизация методов на основе математической логики применительно к задачам компьютерной лингвистики и автоматического анализа социальных сетей. Предложено обобщение метода автоматического определения тем и резюмирования. Проведен логический анализ связей (коннекторов). Разработаны способы представления семантико-синтаксических отношений между смысловыми единицами предложения на основе диаграмм, выдаваемых в процессе работы программной системой Link Grammar Parser. Также предложен способ вычисления степени совпадения естественно-языковых конструкций.*