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