Композиційно-номінативні логіки безкванторних рівнів
Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2016 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2016
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/126390 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Композиційно-номінативні логіки безкванторних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування. — 2016. — № 2-3. — С. 48-62. — Бібліогр.: 6 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862703531698421760 |
|---|---|
| author | Шкільняк, С.С. Волковицький, Д.Б. |
| author_facet | Шкільняк, С.С. Волковицький, Д.Б. |
| citation_txt | Композиційно-номінативні логіки безкванторних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування. — 2016. — № 2-3. — С. 48-62. — Бібліогр.: 6 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| 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.
|
| first_indexed | 2025-12-07T16:48:20Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-126390 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T16:48:20Z |
| publishDate | 2016 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Композиційно-номінативні логіки безкванторних рівнів Шкільняк, С.С. Волковицький, Д.Б. Теоретичні та методологічні основи програмування |
| title | Композиційно-номінативні логіки безкванторних рівнів |
| title_alt | Композиционно-номинативные логики безкванторних уровней Composition-nominative logics of free-quantifier levels |
| title_full | Композиційно-номінативні логіки безкванторних рівнів |
| title_fullStr | Композиційно-номінативні логіки безкванторних рівнів |
| title_full_unstemmed | Композиційно-номінативні логіки безкванторних рівнів |
| title_short | Композиційно-номінативні логіки безкванторних рівнів |
| title_sort | композиційно-номінативні логіки безкванторних рівнів |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/126390 |
| 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 |