Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
|
|
| Creator |
Шкільняк, С.С.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Побудовано секвенційні числення першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неодно-значних та часткових неоднозначних квазіарних предикатів кванторного рівня. Такі числення запропоновано для загального випад-ку логік квазіарних предикатів, для логік однозначних еквітонних та логік тотальних антитонних предикатів. Для побудованих чис-лень доведено теореми коректності та повноти.
We construct sequent calculi for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multi-ple-valued quasi-ary predicates of quantifier level. The defined calculi are proposed for a general case of logics of quasi-ary predicates, for logics of single-valued equitone predicates and for logics of total multiple-valued antytone predicates. For the introduced calculi soundness and completeness theorems are proved. |
|
| Date |
2015-09-23T15:25:03Z
2015-09-23T15:25:03Z 2012 |
|
| Identifier |
Секвенційні числення композиційно-номінотивних логік квазіарних предикатів / С.С. Шкільняк // Проблеми програмування. — 2012. — № 2-3. — С. 33-43. — Бібліогр.: 8 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86584 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Проблеми програмування
|
|
| Publisher |
Інститут програмних систем НАН України
|
|