Відношення логічного наслідку в композиційно-номінативних логіках
Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності. И...
Saved in:
| Date: | 2010 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/6594 |
| 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: | Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмув. — 2010. — № 1. — С. 15-38. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862744001703051264 |
|---|---|
| author | Шкільняк, С.С. |
| author_facet | Шкільняк, С.С. |
| citation_txt | Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмув. — 2010. — № 1. — С. 15-38. — Бібліогр.: 5 назв. — укр. |
| collection | DSpace DC |
| description | Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності.
Исследуются семантические свойства композиционно-номинативных логик частичиых однозначних, тотальных и частичиых неоднозначных предикатов пропозиционального, реноминативного и кванторного уровней. Изучаются отношения логического следствия для пар и множеств формул, отношения логической эквивалентности.
Semantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigated.
|
| first_indexed | 2025-12-07T20:32:34Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-6594 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:32:34Z |
| publishDate | 2010 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Шкільняк, С.С. 2010-03-11T11:36:38Z 2010-03-11T11:36:38Z 2010 Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмув. — 2010. — № 1. — С. 15-38. — Бібліогр.: 5 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/6594 681.3.06 Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності. Исследуются семантические свойства композиционно-номинативных логик частичиых однозначних, тотальных и частичиых неоднозначных предикатов пропозиционального, реноминативного и кванторного уровней. Изучаются отношения логического следствия для пар и множеств формул, отношения логической эквивалентности. Semantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigated. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Відношення логічного наслідку в композиційно-номінативних логіках Отношения логического следования в композиционно-номинативных логиках Relations of logical consequence in composition nominative logics Article published earlier |
| spellingShingle | Відношення логічного наслідку в композиційно-номінативних логіках Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Відношення логічного наслідку в композиційно-номінативних логіках |
| title_alt | Отношения логического следования в композиционно-номинативных логиках Relations of logical consequence in composition nominative logics |
| title_full | Відношення логічного наслідку в композиційно-номінативних логіках |
| title_fullStr | Відношення логічного наслідку в композиційно-номінативних логіках |
| title_full_unstemmed | Відношення логічного наслідку в композиційно-номінативних логіках |
| title_short | Відношення логічного наслідку в композиційно-номінативних логіках |
| title_sort | відношення логічного наслідку в композиційно-номінативних логіках |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/6594 |
| work_keys_str_mv | AT škílʹnâkss vídnošennâlogíčnogonaslídkuvkompozicíinonomínativnihlogíkah AT škílʹnâkss otnošeniâlogičeskogosledovaniâvkompozicionnonominativnyhlogikah AT škílʹnâkss relationsoflogicalconsequenceincompositionnominativelogics |