Вивчаються чисті першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Описано мови та досліджено семантичні властивості таких логік. Розглянуто різні формалізаціївідношення логічного наслідку та досліджено їх властивості в різних семантиках.
Pure first-order composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are investigated. Languages of suchlogics are defined and their semantic properties are studied. Various formalizations of logical consequence relation are defined and their properties in different semantics are investigated.