Composition nominative logics of equitone quasi-are predicates have been investigated. The substitution
theorems for the relation of logical consequence for sets of formulas and for sequential
derivation, the theorem of independence of closiness of constructed sequential tree of application order
of sequential forms, and the cut elimination theorem have been proved. The fs-derivation procedure for
finitary sequences has been introduced.
Досліджено композиційно-номінативні логіки еквітонних квазіарних предикатів. Доведено
теореми підстановки для відношення логічного наслідку множин формул та для виведень
секвенцій, теорему про незалежність замкненості будованого дерева від порядку застосування
секвенційних форм, теорему про елімінацію перетинів. Запропоновано процедуру fs-виведення
для скінченних секвенцій.