Вивчаються чисті першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для опису семантичних властивостей цих логік використано спеціальні предикати-індикатори наявності значення для змінних. Досліджено різні формалізації відношення логічного наслідку
Pure first-order composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are studied. Special variable definedness predicates are used for description of semantic properties of such logics. Various formalizations of logical consequence relation are investigated