Відношення логічного наслідку в композиційно-номінативних логіках
Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності. И...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/6594 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмув. — 2010. — № 1. — С. 15-38. — Бібліогр.: 5 назв. — укр. |
Репозитарії
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 |