Алгебра типов логических отношений - Калюжный, В.Н. (My University, 1986)
Калюжний Володимир Миколайович, канд. фіз.–мат. наук, доцент, Харківський національний університет імені В.Н. Каразіна
Keywords: логический анализ языка; смысл; следование; логические отношения; полугруппа; идемпотент