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