У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядковихudкомпозиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не-udоднозначних предикатів. Основна увага приділена вивченню властивостей відношень, пов’язаних зudелімінацією кванторів. Для опису таких властивостей використано спеціальні предикати, які визначаютьudнаявність значення для змінних.
展开▼