Досліджено семантичні властивості нових класів першопорядкових композиційно-номінативних логік часткових квазіарних предикатів із композиціями розширеної реномінації. Це дає змогу явно задавати відсутність значення для предметних імен. Описано властивості відношення логічного наслідку для множин формул, що є семантичною основою побудови секвенційних числень цих логік.
Semantic properties of new classes of firstorder composition-nominative logics of partial quasiary predicates with extended renomination composition are investigated. This gives possibility to indicate explicitly the absence of the value of subject variables. Properties of relation of logical consequence for sets of formulas are described. The specified properties are the semantic basisfor construction of sequent calculi for such logics.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
