Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
| dc.contributor.author | Шкільняк, С.С. | |
| dc.date.accessioned | 2014-10-20T14:20:34Z | |
| dc.date.available | 2014-10-20T14:20:34Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract | На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних квазіарних предикатів. Для побудованих числень доведено теореми коректності та повноти. | uk_UA |
| dc.identifier.citation | Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр. | uk_UA |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.udc | 004.42:510.69 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/69740 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | Інститут програмних систем НАН України | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.subject | Теоретичні та методологічні основи програмування | uk_UA |
| dc.title | Секвенційні числення першопорядкових логік однозначних квазіарних предикатів | uk_UA |
| dc.type | Article | uk_UA |