Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів
Loading...
Date
2013
Authors
Шкільняк, Степан
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Для чистих першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення, які використовують предикати-індикатори наявності значень для змінних. Такі числення пропоновано для логік кванторного та кванторно-екваційного рівнів. Для цих числень доведено теореми коректності й повноти.
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.
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.
Description
Keywords
Citation
Шкільняк С. С. Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 24-31.