Логіки квазіарних предикатів кванторно-екваційного рівня
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Логіки квазіарних предикатів кванторно-екваційного рівня
|
|
| Creator |
Нікітченко, М.С.
Шкільняк, С.С. |
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості таких логік, зокрема, властивості відношень логічного наслідку для множин формул, Х–Y-означених відношень логічного наслідку. На цій основі для логік однозначних квазіарних предикатів кванторно-екваційного рівня побудовано числення секвенційного типу.
|
|
| Date |
2015-09-24T13:19:33Z
2015-09-24T13:19:33Z 2012 |
|
| Identifier |
Логіки квазіарних предикатів кванторно-екваційного рівня / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2012. — № 4. — С. 19-34. — Бібліогр.: 10 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86636 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Проблеми програмування
|
|
| Publisher |
Інститут програмних систем НАН України
|
|