Композиційно-номінативні логіки безкванторних рівнів

dc.contributor.authorШкільняк, С.С.
dc.contributor.authorВолковицький, Д.Б.
dc.date.accessioned2017-11-23T12:51:58Z
dc.date.available2017-11-23T12:51:58Z
dc.date.issued2016
dc.description.abstractДосліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією слабкої рівності, безкванторно-функціональний з композицією строгої рівності. Основна увага приділена логікам безкванторно-функціональних рівнів з рівністю. Описано мови та семантичні моделі безкванторних логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку для множин формул.uk_UA
dc.description.abstractИсследованы бескванторные композиционно-номинативные логики частичных квазиарных предикатов. Выделены такие уровни этих логик: реноминативный, реноминативный с предикатами слабого равенства, реноминативный с предикатами строгого равенства, бескванторно-функциональный, бескванторно-функциональный с композицией слабого равенства, бескванторно-функциональный с композицией строгого равенства. Основное внимание уделено логикам бескванторно-функциональных уровней с равенством. Описаны язики и семантические модели бескванторных логик, исследованы их семантические свойства, в частности, свойства отношений логического следствия для множеств формул.uk_UA
dc.description.abstractFree-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.issn1727-4907
dc.identifier.udc004.42:510.69
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/126390
dc.language.isoukuk_UA
dc.publisherІнститут програмних систем НАН Україниuk_UA
dc.relation.ispartofПроблеми програмування
dc.statuspublished earlieruk_UA
dc.subjectТеоретичні та методологічні основи програмуванняuk_UA
dc.titleКомпозиційно-номінативні логіки безкванторних рівнівuk_UA
dc.title.alternativeКомпозиционно-номинативные логики безкванторних уровнейuk_UA
dc.title.alternativeComposition-nominative logics of free-quantifier levelsuk_UA
dc.typeArticleuk_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
Опис: