Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних...
Збережено в:
| Дата: | 2012 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/69740 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859517335674552320 |
|---|---|
| author | Шкільняк, С.С. |
| author_facet | Шкільняк, С.С. |
| citation_txt | Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| description | На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних квазіарних предикатів. Для побудованих числень доведено теореми коректності та повноти.
|
| first_indexed | 2025-11-25T20:47:25Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-69740 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-25T20:47:25Z |
| publishDate | 2012 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Шкільняк, С.С. 2014-10-20T14:20:34Z 2014-10-20T14:20:34Z 2012 Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/69740 004.42:510.69 На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних квазіарних предикатів. Для побудованих числень доведено теореми коректності та повноти. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Секвенційні числення першопорядкових логік однозначних квазіарних предикатів Article 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/69740 |
| work_keys_str_mv | AT škílʹnâkss sekvencíiníčislennâperšoporâdkovihlogíkodnoznačnihkvazíarnihpredikatív |