Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових не-однозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та спеціальними предикатами-індикаторами наявності значення для предметних змінни...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2014 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/113209 |
| 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: | Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2014. — № 2-3. — С. 17-28. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862553758509039616 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. |
| citation_txt | Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2014. — № 2-3. — С. 17-28. — Бібліогр.: 9 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових не-однозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та спеціальними предикатами-індикаторами наявності значення для предметних змінних. Описано мови та семантичні моделі таких логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку.
First-order composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are investigated. It is proposed to extend these logics with generalized renominations and special predicates that detect if the subject variables have assigned values. Languages and semantic models of such logics are defined, their semantic properties, in particular, properties of relations of logical consequence are studied.
|
| first_indexed | 2025-11-25T21:20:32Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-113209 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-25T21:20:32Z |
| publishDate | 2014 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. 2017-02-04T17:28:38Z 2017-02-04T17:28:38Z 2014 Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2014. — № 2-3. — С. 17-28. — Бібліогр.: 9 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/113209 004.42:510.69 Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових не-однозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та спеціальними предикатами-індикаторами наявності значення для предметних змінних. Описано мови та семантичні моделі таких логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку. First-order composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are investigated. It is proposed to extend these logics with generalized renominations and special predicates that detect if the subject variables have assigned values. Languages and semantic models of such logics are defined, their semantic properties, in particular, properties of relations of logical consequence are studied. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями First-order composition-nominative logics with generalized renominations Article published earlier |
| spellingShingle | Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями |
| title_alt | First-order composition-nominative logics with generalized renominations |
| title_full | Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями |
| title_fullStr | Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями |
| title_full_unstemmed | Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями |
| title_short | Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями |
| title_sort | першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/113209 |
| work_keys_str_mv | AT níkítčenkoms peršoporâdkovíkompozicíinonomínativnílogíkiízuzagalʹnenimirenomínacíâmi AT škílʹnâkos peršoporâdkovíkompozicíinonomínativnílogíkiízuzagalʹnenimirenomínacíâmi AT škílʹnâkss peršoporâdkovíkompozicíinonomínativnílogíkiízuzagalʹnenimirenomínacíâmi AT níkítčenkoms firstordercompositionnominativelogicswithgeneralizedrenominations AT škílʹnâkos firstordercompositionnominativelogicswithgeneralizedrenominations AT škílʹnâkss firstordercompositionnominativelogicswithgeneralizedrenominations |