Відношення логічного наслідку в композиційно-номінативних логіках
| dc.contributor.author | Шкільняк, С.С. | |
| dc.date.accessioned | 2010-03-11T11:36:38Z | |
| dc.date.available | 2010-03-11T11:36:38Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності. | uk_UA |
| dc.description.abstract | Исследуются семантические свойства композиционно-номинативных логик частичиых однозначних, тотальных и частичиых неоднозначных предикатов пропозиционального, реноминативного и кванторного уровней. Изучаются отношения логического следствия для пар и множеств формул, отношения логической эквивалентности. | uk_UA |
| dc.description.abstract | 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_UA |
| dc.identifier.citation | Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмув. — 2010. — № 1. — С. 15-38. — Бібліогр.: 5 назв. — укр. | uk_UA |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.udc | 681.3.06 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/6594 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | Інститут програмних систем НАН України | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.subject | Теоретичні та методологічні основи програмування | uk_UA |
| dc.title | Відношення логічного наслідку в композиційно-номінативних логіках | uk_UA |
| dc.title.alternative | Отношения логического следования в композиционно-номинативных логиках | uk_UA |
| dc.title.alternative | Relations of logical consequence in composition nominative logics | uk_UA |
| dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- Shkilnyak_15_38.pdf
- Розмір:
- 423.76 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.81 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: