Композиційно-номінативні логіки безкванторних рівнів
Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2016 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/126390 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Композиційно-номінативні логіки безкванторних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування. — 2016. — № 2-3. — С. 48-62. — Бібліогр.: 6 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-126390 |
|---|---|
| record_format |
dspace |
| spelling |
Шкільняк, С.С. Волковицький, Д.Б. 2017-11-23T12:51:58Z 2017-11-23T12:51:58Z 2016 Композиційно-номінативні логіки безкванторних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування. — 2016. — № 2-3. — С. 48-62. — Бібліогр.: 6 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/126390 004.42:510.69 Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією слабкої рівності, безкванторно-функціональний з композицією строгої рівності. Основна увага приділена логікам безкванторно-функціональних рівнів з рівністю. Описано мови та семантичні моделі безкванторних логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку для множин формул. Исследованы бескванторные композиционно-номинативные логики частичных квазиарных предикатов. Выделены такие уровни этих логик: реноминативный, реноминативный с предикатами слабого равенства, реноминативный с предикатами строгого равенства, бескванторно-функциональный, бескванторно-функциональный с композицией слабого равенства, бескванторно-функциональный с композицией строгого равенства. Основное внимание уделено логикам бескванторно-функциональных уровней с равенством. Описаны язики и семантические модели бескванторных логик, исследованы их семантические свойства, в частности, свойства отношений логического следствия для множеств формул. 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 Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Композиційно-номінативні логіки безкванторних рівнів Композиционно-номинативные логики безкванторних уровней Composition-nominative logics of free-quantifier levels Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Композиційно-номінативні логіки безкванторних рівнів |
| spellingShingle |
Композиційно-номінативні логіки безкванторних рівнів Шкільняк, С.С. Волковицький, Д.Б. Теоретичні та методологічні основи програмування |
| title_short |
Композиційно-номінативні логіки безкванторних рівнів |
| title_full |
Композиційно-номінативні логіки безкванторних рівнів |
| title_fullStr |
Композиційно-номінативні логіки безкванторних рівнів |
| title_full_unstemmed |
Композиційно-номінативні логіки безкванторних рівнів |
| title_sort |
композиційно-номінативні логіки безкванторних рівнів |
| author |
Шкільняк, С.С. Волковицький, Д.Б. |
| author_facet |
Шкільняк, С.С. Волковицький, Д.Б. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2016 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Композиционно-номинативные логики безкванторних уровней Composition-nominative logics of free-quantifier levels |
| description |
Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією слабкої рівності, безкванторно-функціональний з композицією строгої рівності. Основна увага приділена логікам безкванторно-функціональних рівнів з рівністю. Описано мови та семантичні моделі безкванторних логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку для множин формул.
Исследованы бескванторные композиционно-номинативные логики частичных квазиарных предикатов. Выделены такие уровни этих логик: реноминативный, реноминативный с предикатами слабого равенства, реноминативный с предикатами строгого равенства, бескванторно-функциональный, бескванторно-функциональный с композицией слабого равенства, бескванторно-функциональный с композицией строгого равенства. Основное внимание уделено логикам бескванторно-функциональных уровней с равенством. Описаны язики и семантические модели бескванторных логик, исследованы их семантические свойства, в частности, свойства отношений логического следствия для множеств формул.
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/126390 |
| citation_txt |
Композиційно-номінативні логіки безкванторних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування. — 2016. — № 2-3. — С. 48-62. — Бібліогр.: 6 назв. — укр. |
| work_keys_str_mv |
AT škílʹnâkss kompozicíinonomínativnílogíkibezkvantornihrívnív AT volkovicʹkiidb kompozicíinonomínativnílogíkibezkvantornihrívnív AT škílʹnâkss kompozicionnonominativnyelogikibezkvantornihurovnei AT volkovicʹkiidb kompozicionnonominativnyelogikibezkvantornihurovnei AT škílʹnâkss compositionnominativelogicsoffreequantifierlevels AT volkovicʹkiidb compositionnominativelogicsoffreequantifierlevels |
| first_indexed |
2025-12-07T16:48:20Z |
| last_indexed |
2025-12-07T16:48:20Z |
| _version_ |
1850868866022899712 |