Розглядаються першопорядкові композиційно-номінативні логіки спеціальних часткових функцій та предикативів, заданих на номінативних даних. Такі логіки базуються на композиціях функціонально-екваційного рівня. Вводяться мови цих логік та досліджуються їхсемантичні властивості.