Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів
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
логіка, предикат, логічний наслідок, секвенційне числення, стаття, logic, predicate, logical consequence, sequent calculi
Citation
Шкільняк С. С. Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 24-31.