Шкільняк, Степан2014-03-202014-03-202013Шкільняк С. С. Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 24-31.https://ekmair.ukma.edu.ua/handle/123456789/2888Для чистих першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення, які використовують предикати-індикатори наявності значень для змінних. Такі числення пропоновано для логік кванторного та кванторно-екваційного рівнів. Для цих числень доведено теореми коректності й повноти.We construct special sequent calculi for purefirst-order composition-nominative logics ofpartial singlevalued, total multiple-valued and partial multiple-valued quasi-ary predicates with using ofspecial variable definedness predicates. Such calculi are proposedfor logics of quantifier level and for logics of quantifier-equational level. The soundness and completeness theorems for the introduced calculi are proved.ukлогікапредикатлогічний наслідоксеквенційне численнястаттяlogicpredicatelogical consequencesequent calculiArticle