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

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