Композиційно-номінативні логіки безкванторних рівнів
Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2016 |
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/126390 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Композиційно-номінативні логіки безкванторних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування. — 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 |