Секвенційні числення реномінативних логік квазіарних предикатів
Loading...
Date
2012
Authors
Шкільняк, Степан
Journal Title
Journal ISSN
Volume Title
Publisher
ВПЦ НаУКМА
Abstract
Побудовано секвенційні числення реномінативних композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для цих числень доведено теореми коректності та повноти.
Description
Sequent 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.
Keywords
логіка, предикат, композиційно-номінативний підхід, логічний наслідок, секвенційне числення, logic, predicate, composition-nominative approach, logical consequence, sequent calculi
Citation
Шкільняк С. С. Секвенційні числення реномінативних логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29.