Відношення логічного наслідку в композиційно-номінативних логіках
Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності. И...
Gespeichert in:
| Datum: | 2010 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/6594 |
| 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: | Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмув. — 2010. — № 1. — С. 15-38. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-6594 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Відношення логічного наслідку в композиційно-номінативних логіках |
| spellingShingle |
Відношення логічного наслідку в композиційно-номінативних логіках Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title_short |
Відношення логічного наслідку в композиційно-номінативних логіках |
| title_full |
Відношення логічного наслідку в композиційно-номінативних логіках |
| title_fullStr |
Відношення логічного наслідку в композиційно-номінативних логіках |
| title_full_unstemmed |
Відношення логічного наслідку в композиційно-номінативних логіках |
| title_sort |
відношення логічного наслідку в композиційно-номінативних логіках |
| author |
Шкільняк, С.С. |
| author_facet |
Шкільняк, С.С. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2010 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Отношения логического следования в композиционно-номинативных логиках Relations of logical consequence in composition nominative logics |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/6594 |
| citation_txt |
Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмув. — 2010. — № 1. — С. 15-38. — Бібліогр.: 5 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T20:32:34Z |
| last_indexed |
2025-12-07T20:32:34Z |
| _version_ |
1850882973563355136 |