Спектр секвенційних числень першопорядкових композиційно-номінативних логік

Abstract

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