Композиційно-номінативні логіки безкванторних рівнів
dc.contributor.author | Шкільняк, С.С. | |
dc.contributor.author | Волковицький, Д.Б. | |
dc.date.accessioned | 2017-11-23T12:51:58Z | |
dc.date.available | 2017-11-23T12:51:58Z | |
dc.date.issued | 2016 | |
dc.description.abstract | Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією слабкої рівності, безкванторно-функціональний з композицією строгої рівності. Основна увага приділена логікам безкванторно-функціональних рівнів з рівністю. Описано мови та семантичні моделі безкванторних логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку для множин формул. | uk_UA |
dc.description.abstract | Исследованы бескванторные композиционно-номинативные логики частичных квазиарных предикатов. Выделены такие уровни этих логик: реноминативный, реноминативный с предикатами слабого равенства, реноминативный с предикатами строгого равенства, бескванторно-функциональный, бескванторно-функциональный с композицией слабого равенства, бескванторно-функциональный с композицией строгого равенства. Основное внимание уделено логикам бескванторно-функциональных уровней с равенством. Описаны язики и семантические модели бескванторных логик, исследованы их семантические свойства, в частности, свойства отношений логического следствия для множеств формул. | uk_UA |
dc.description.abstract | Free-quantifier composition nominative logics of partial quasiary predicates are considered. We specify the following levels of these logics: renominative, renominative with predicates of weak equality, renominative with predicates of strong equality, free-quantifier, free-quantifier with composition of weak equality, free-quantifier with composition of strong equality. The paper is mainly dedicated to investigation of logics of free-quantifier levels with equality. Languages and semantic models of such logics are described, their semantic properties are studied, in particular the properties of relations of logical consequence. | uk_UA |
dc.identifier.citation | Композиційно-номінативні логіки безкванторних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування. — 2016. — № 2-3. — С. 48-62. — Бібліогр.: 6 назв. — укр. | uk_UA |
dc.identifier.issn | 1727-4907 | |
dc.identifier.udc | 004.42:510.69 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/126390 | |
dc.language.iso | uk | uk_UA |
dc.publisher | Інститут програмних систем НАН України | uk_UA |
dc.relation.ispartof | Проблеми програмування | |
dc.status | published earlier | uk_UA |
dc.subject | Теоретичні та методологічні основи програмування | uk_UA |
dc.title | Композиційно-номінативні логіки безкванторних рівнів | uk_UA |
dc.title.alternative | Композиционно-номинативные логики безкванторних уровней | uk_UA |
dc.title.alternative | Composition-nominative logics of free-quantifier levels | uk_UA |
dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 06-Shkilnyak.pdf
- Розмір:
- 683.13 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 817 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: