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