Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних...
Gespeichert in:
| Datum: | 2012 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/69740 |
| 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: | Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр. |
Institution
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 |