Шкільняк, Степан2012-12-172012-12-172012Шкільняк С. С. Секвенційні числення реномінативних логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29.1996-5931https://ekmair.ukma.edu.ua/handle/123456789/1900Sequent calculi for renominative composition-nominative logics of partial single-valued, total multiplevalued and partial multiple-valued quasi-ary predicates are constructed. The soundness and completeness theorems for these calculi are proved.Побудовано секвенційні числення реномінативних композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для цих числень доведено теореми коректності та повноти.ukлогікапредикаткомпозиційно-номінативний підхідлогічний наслідоксеквенційне численняlogicpredicatecomposition-nominative approachlogical consequencesequent calculiArticle