Композиційно-номінативні логіки з непрямим іменуванням

Abstract

Досліджено композиційно-номінативні логіки, базовані на іменних множинах з непрямим іменуванням. Запропоновано та досліджено операції над такими множинами, зокрема, операції реномінації. На цій основі побудована логіка реномінативного рівня.In this paper composition-nominative logics based on name sets with indirect nomination are studied. We introduce and investigate operations on such sets, in particular operations of renomination. On this basis we specify a logic of renominative level.