Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
Для першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів запропоновано і досліджено Х–Y-означені
 відношення логічного наслідку. Отримано низку властивостей цих відношень у різних семантиках, зокрема,...
Збережено в:
| Дата: | 2011 |
|---|---|
| Автор: | |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2011
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/50997 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Спеціальні відношення логічного наслідку в логіках квазіарних
 предикатів / С.С. Шкільняк // Пробл. програмув. — 2011. — № 4. — С. 36-48. — Бібліогр.: 5 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862544052656799744 |
|---|---|
| author | Шкільняк, С.С. |
| author_facet | Шкільняк, С.С. |
| citation_txt | Спеціальні відношення логічного наслідку в логіках квазіарних
 предикатів / С.С. Шкільняк // Пробл. програмув. — 2011. — № 4. — С. 36-48. — Бібліогр.: 5 назв. — укр. |
| collection | DSpace DC |
| description | Для першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів запропоновано і досліджено Х–Y-означені
відношення логічного наслідку. Отримано низку властивостей цих відношень у різних семантиках, зокрема, властивості елімінації кванторів. Такі властивості ляжуть в основу побудови відповідних числень
секвенційного типу.
|
| first_indexed | 2025-11-24T22:09:56Z |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-50997 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-24T22:09:56Z |
| publishDate | 2011 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Шкільняк, С.С. 2013-11-08T14:46:55Z 2013-11-08T14:46:55Z 2011 Спеціальні відношення логічного наслідку в логіках квазіарних
 предикатів / С.С. Шкільняк // Пробл. програмув. — 2011. — № 4. — С. 36-48. — Бібліогр.: 5 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/50997 004.42:510.69 Для першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів запропоновано і досліджено Х–Y-означені
 відношення логічного наслідку. Отримано низку властивостей цих відношень у різних семантиках, зокрема, властивості елімінації кванторів. Такі властивості ляжуть в основу побудови відповідних числень
 секвенційного типу. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Спеціальні відношення логічного наслідку в логіках квазіарних предикатів published earlier |
| spellingShingle | Спеціальні відношення логічного наслідку в логіках квазіарних предикатів Шкільняк, С.С. Теоретичні та методологічні основи програмування |
| title | Спеціальні відношення логічного наслідку в логіках квазіарних предикатів |
| title_full | Спеціальні відношення логічного наслідку в логіках квазіарних предикатів |
| title_fullStr | Спеціальні відношення логічного наслідку в логіках квазіарних предикатів |
| title_full_unstemmed | Спеціальні відношення логічного наслідку в логіках квазіарних предикатів |
| title_short | Спеціальні відношення логічного наслідку в логіках квазіарних предикатів |
| title_sort | спеціальні відношення логічного наслідку в логіках квазіарних предикатів |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/50997 |
| work_keys_str_mv | AT škílʹnâkss specíalʹnívídnošennâlogíčnogonaslídkuvlogíkahkvazíarnihpredikatív |